Comment by codedokode

You can emulate sum types with classes and inheritance (N classes inherit from an empty base class), can't you?