:: Either a b -> Maybe b package:ghc