memberConstr x (h:_) = (x =:= h)
memberConstr x (_:t) = memberConstr x t

main = memberConstr x [1, 2, 3] `seq` x where x free