https://gist.github.com/pbackus/28e7f5668219ce83467c83c347ec7202 This DIP proposes a conservative design for sum types that aims to be consistent with existing D syntax and semantics. It does not discuss pattern matching.