Doing a sumtype is on the agenda and we'll get to it.

BTW, D has always had quite an advanced pattern matcher for types.

https://dlang.org/spec/expression.html#is_expression

https://dlang.org/spec/template.html#template_type_parameter...