That's true. You can kind of do it Scala style with an interfaces and some classes, but with two big drawbacks: no exhaustiveness checking, and no "object" syntax for defining singleton classes. They seem to be heading in that direction though.