module ListMap; // The usual list map function def List mapList(f)(List l) = case l { Nil => Nil; Cons(x,xs) => Cons(f(x), map(xs)); }; def List start(f)(List l) = map(f); { }