Text this: Monads need not be endofunctors