:: Maybe a -> a package:ghc