 Computational monad

A type constructor $M$ with operations $\mathrm{result}:A\to MA$ and $▹:MA\to (A\to MB)\to MB$ satisfying the monad laws. The first embeds a value; the second sequences a computation with a value-dependent continuation. This is the programming interface to a monad.