Comment by rssoconnor

How do you deal with "branded" types, if you know what I mean.

Edit: I mean structurally identical types that are meant to be distinct. As I recall Modula 3 used a BRANDED keyword for this.