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.htm

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/expression.html#is_expression https://dlang.org/spec/template.html#template_type_parameters https://dlang.org/spec/template.html#template_type_parameter...