
24 Jul
2006
24 Jul
'06
6:53 a.m.
Neil Mitchell wrote:
Would it not be possible to add a GHC rule like the following:
forall a b . sequence a >> b = sequence_ a >> b
I'm not sure if thats correct, a valid rule definition, or semantics preserving, but if it was it would be nice :)
Now there's a good idea! Cheers, Simon