[rplnt]

I mean, that's a pretty common usage of enums, isn't it?

    TestSomething(T1 & T2)

[morelisp]

And this is the big, probably irreconcilable, difference in culture between the sum-typers and the compiler-assisted-named-valuers....