member _ [] = False
member x (h:t) = if x =:= h then True else member x t

main = let x free in member x [1, 2, 3] =:= True `seq` x