That exists, it is called a nominal type system, while in your example the language has a structural type system. Edit: Assuming your example is even staticall

That exists, it is called a nominal type system, while in your example the language has a structural type system. Edit: Assuming your example is even statically typed.