
5 Aug
2013
5 Aug
'13
11:57 p.m.
Sure, but I figured there was no pain in going through the ceremony of it all. ;) -Edward On Mon, Aug 5, 2013 at 5:35 PM, David Luposchainsky < dluposchainsky@googlemail.com> wrote:
On 2013-08-05 21:06, Edward Kmett wrote:
Right now the definition of Control.Monad.void is:
void :: Functor f => f a -> f () void = fmap (const ())
I propose we replace it with
void :: Functor f => f a -> f () void = (() <$)
I don't see any argument against that. I'd say this is a no-brainer nobody would mind being done without doing the mailing list thing.
David