> A monad is composed of three functions Actually just two (bind and return). And three laws which are typically not captured in the type system and which must

> A monad is composed of three functions Actually just two (bind and return). And three laws which are typically not captured in the type system and which must therefore be tested separately.