:: Either a a -> a package:ghc