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