definition module Map

//import BinTree
import StdMaybe

class Map c :: (a -> b) (c a) -> c b

instance Map []
instance Map Maybe
//instance Map Tree