HaRe-0.8.0.0: test/testdata/Renaming/C7.hs.expected
module Renaming.C7(Renaming.C7.myFringe) where import Renaming.D7 myFringe:: Tree a -> [a] myFringe (Leaf x ) = [x] myFringe (Branch left right) = Renaming.C7.myFringe left ++ Renaming.D7.myFringe right