In functional programming, a type that encapsulates an optional value; a value of type Maybe either contains a value of some type or it is empty.

"The Maybe type is used in Haskell to handle cases where a function might not return a value, allowing for safe handling of such situations without resorting to null references."