> Ah, the magical disappearing type system - now being used for nominal typing. More like: magical disappearing type system is not nominal: hacky workarounds

> Ah, the magical disappearing type system - now being used for nominal typing. More like: magical disappearing type system is not nominal: hacky workarounds ensue.