(Introduced in 4.07.0)
This extension allows user to define empty variants. Empty variant type can be eliminated by refutation case of pattern matching.