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