On Sunday, 5 March 2017 at 03:36:15 UTC, Andrei Alexandrescu wrote: > https://pdfs.semanticscholar.org/5de7/591a853ec947f8de7dc70df0b2ecc38b8774.pdf -- Andrei What did you find interesting about it? How is their sum-type different from multiple inheritance?