Re: [Haskell-cafe] special term describing f :: (Monad m) => (a -> m b) ?

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