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