Latest v1.0.4 release features Union Patterns, that let you compose many named patterns into a single one.

Using unions, you can emulate things like Algebraic data types

For some examples, see:

• Natural numbers.
• Maybe.
• Either.
• Result.
• Union on Struct.