> Which other languages also support this? Haskell and related languages have distinct types; so does Nim. But even if there's no direct language support, you

> Which other languages also support this? Haskell and related languages have distinct types; so does Nim. But even if there's no direct language support, you can always emulate them by having a compound type (record, struct, class, whatever you call it) with one field.