> The name "monad" is misleading since it is a noun. Perhaps "Chainable" would be a better name? Other type classes can be chained. Like Applicative. Applicat

> The name "monad" is misleading since it is a noun. Perhaps "Chainable" would be a better name? Other type classes can be chained. Like Applicative. Applicative is a chain where you cannot inspect the per-step state or whatever. But you can with Monad.