[zarathustreal]

Sub-types can be represented with algebraic types so I’m not sure that’s necessarily true, for example an abstract class with subclasses can be represented as a sum type

[zem]

only if there is a fixed set of subclasses, which is not always or even mostly the case.