> You can also simulate sum-types via what OOP people would probably call a visitor pattern You can also simulate it by using if/else everywhere. At this poin

> You can also simulate sum-types via what OOP people would probably call a visitor pattern You can also simulate it by using if/else everywhere. At this point, that means you have zero language feature supporting the use case, and type safety is up to the developers implementing patterns correctly everywhere.