On Tue, Nov 22, 2005 at 09:07:29PM +0000, Joel Reymont wrote: > Why wouldn't Bulat's version work? Because Int /= () when :: (Monad m) => Bool -> m () -> m () Best regards Tomasz