See NominativeAndStructuralTyping