Hacker News Reader

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

So, the Adapter Pattern, but for types?

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.