⚠️ Warning: This is a draft ⚠️

This means it might contain formatting issues, incorrect code, conceptual problems, or other severe issues.

If you want to help to improve and eventually enable this page, please fork RosettaGit's repository and open a merge request on GitHub.

{{feature|Typing/Compatibility}} In this typing scheme, a type has a name and two “type instances” with the same structure but different names are different types. This is more restrictive than [[:Category:Typing/Compatibility/Structural|structural typing]], in that it can distinguish types that are structurally identical.