pureList :: a -> [a]
pureList a = a : []