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

[Henning Sato von Rosen]

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)?

For f in
a >>= f
is en example.

Need it for an article/report.

Regards/Henning