Whatever Haskell programmers decide to call a monad today. It's wandered pretty far away from whatever mathematical definition, despite insistences to the contrary.

(Technically, the requirement is to implement a few functions)