22 Apr
2012
22 Apr
'12
1:28 a.m.
On 21/04/2012, Andreas Abel <andreas.abel@ifi.lmu.de> wrote:
to avoid silly "return ()" statements like in
when cond $ do monadicComputationWhoseResultIWantToDiscard return ()
(when cond ∘ void) monadicComputationWhoseResultIWantToDiscard or when cond $ () <$ monadicComputationWhoseResultIWantToDiscard