Monad instance for Monoid e => (,) e

David Luposchainsky dluposchainsky at
Thu Jul 25 14:05:06 CEST 2013

On 2013-07-25 13:42, Nathan van Doorn wrote:
> This is a relatively simple instance, so I was surprised that I
> couldn't find it in base. My proposal is to add the instance to
> Control.Monad.Instances, undeprecating the module.

The instance may be right, but I'm not sure whether it's right to make
use of it. In case it is added, maybe Data.Tuple would be a good place
to put it.


More information about the Libraries mailing list