wyvernlang/wyvern

supertype of all tagged types

Opened this issue · 0 comments

JonathanAldrich commented

Consider having a supertype of all tagged types. This is useful to pass around in situations where you want to allow type tests.