Rewrite doc of 'Monad.Either.either/3", and add examples