Optional value
= Optional value
A value that is either absent or contains one payload. In <Haskell>, `Maybe a` uses `Nothing` for absence and `Just x` for presence. These alternatives distinguish an absent element from a present payload that may itself be undefined.