mergeEither
FromMonad