Any reason why "Control.Monad.when :: Monad
<Control.Monad.html#t%3AMonad> m => Bool <Data.Bool.html#t%3ABool> -> m
() -> m ()" doesn't have type "Monad <Control.Monad.html#t%3AMonad> m =>
Bool <Data.Bool.html#t%3ABool> -> m a -> m ()" instead?
Just seems a bit of a waste to have the restriction without need. I
find myself needing to add the extra spurious "return ()" at the end
more often than not. I made an alternate "when_" for my own use, but...
JCAB
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe