headMay -package:ihaskell

Safe version of headEx. Returns Nothing instead of throwing an exception when encountering an empty monomorphic container.
Head of a list.
headMay (empty :: NList 0 Int) === Nothing
headMay (mk3 'a' 'b' 'c') === Just 'a'