Monads need not be endofunctors.

Published in: Log. Methods Comput. Sci. (2015)