Maybe

What is a Monad? - Computerphile

Computerphile

A type constructor in Haskell that represents values that may or may not be present, used here to handle potential failures gracefully.