On Sat, Apr 21, 2012 at 08:28:27PM -0500, Strake wrote: > On 21/04/2012, Andreas Abel <andreas.a...@ifi.lmu.de> wrote: > > to avoid silly "return ()" statements like in > > > > when cond $ do > > monadicComputationWhoseResultIWantToDiscard > > return () > > (when cond ∘ void) monadicComputationWhoseResultIWantToDiscard > or > when cond $ () <$ monadicComputationWhoseResultIWantToDiscard
How is that simpler than when cond monadicComputationWhoseResultIWantToDiscard which it would be with the suggested new type? Julian _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
