Is a monad a *value* of types like Maybe or List, or are these types themselves monads?
Does the term "monad" apply to values of types like Maybe or List, or does it instead apply only to the types themselves?