> What is a function of the followning type called: > > f :: (Monad m) => (a -> m b) > > Is there a special term describing such a function (a function into a monad)?
It is often called a procedure or an effectful function (I assume that `a' and `b' are not meant to be universally quantified). I sometimes use a special arrow -|> for this type. Cheers, Ralf _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
