In programming languages, `Monad` is just an interface with the methods `map`, `flatten` and `pure`.

As with many other interfaces, there are a few rules in the comments that implementations are expected to adhere to.