Frederik Eaton <frederik@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