Pigeonholed types Synonyms