language-dickinson-1.3.0.0: test/demo/exhaustive.dck
%-
tydecl octit = Zero
| One
| Two
| Three
| Four
| Five
| Six
| Seven
(:def match
(:lambda x octit
(:match x
[Zero Zero]
[One One]
[a x])))