Improving void

[David Luposchainsky]

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