Test.Multivariant.Types.Cases
data
Case
a b
data
Cases
a b
getCases
after
prod
appendCases