A compact DSL to let you declare sum data types and define safe functions on them.
>= 3.1.1
Axel Tetzlaff