:: Maybe a -> a package:yi