cons :: a -> [a] -> [a]

snoc :: [a] -> a -> [a]

uncons :: [a] -> Maybe (a, [a])

unsnoc :: [a] -> Maybe ([a], a)

このあたりの命名、好き。