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