cons package:tagsoup

cons = (:)
uncons []     = Nothing
uncons (x:xs) = Just (x, xs)