Graeme Geldenhuys schrieb: > eg: #2 > > type > MyType = type Double; > MyOtherType = type Double; > > > Otherwise, what's the different between a "alias" type (eg #1) and a > "distinct" type (eg #2)?? As I said: overloading. It means: compatible but not equal. If you want distinct: use as said, classes, records etc.