List

What is a Monad? - Computerphile

Computerphile

Another example of a type constructor that can be used with monads, alongside Maybe, to handle different types of effects like non-determinism.