(* what is the type of append? *) fun append(a,b) = case a of [] => b | x::xs => x::append(xs,b) (* how about contains? *) fun contains(a,b) = case a of [] => false | x::xs => if x=b then true else contains(xs,b)