On 2013-08-05 at 21:06:07 +0200, Edward Kmett wrote: [...] > I propose we replace it with > > void :: Functor f => f a -> f () > void = (() <$) +1