1pureList :: a -> [a]
2pureList = _
3