well, let's look. map f (h:t) = f h:map f t map f [] = [] member x (h:t) = x == h || member x t member _ [] = False I think the only difference is that

well, let's look. map f (h:t) = f h:map f t map f [] = [] member x (h:t) = x == h || member x t member _ [] = False I think the only difference is that you can't match for equality directly in the pattern.