Detailed Description

Represents the bottom value of most functional programming languages.

Specifically, this is a an invalid boxed type triggering a compile-time error whenever it is unboxed. Note that instantiating undefined in a SFINAE-able context will still trigger an error.