Frederik Eaton <frederik at ugcs.caltech.edu> writes: > Wouldn't it be more useful if the type was > > when :: Monad m => Bool -> m a -> m () > > not > > when :: Monad m => Bool -> m () -> m () Seconded. peace, isaac