[rhizome]

>A monad is a type that wraps an object of another type.

So, the Adapter Pattern, but for types?

[Double_Cast]

Monadic is a type-class. Like how Equatable is a type-class. Adapters essentially add a specific type to the type-class the client is looking for.