2 ms·

> "type identity" (my own term) Isn't it just called "type certification"? Why create a new term for it?

• a3n 7y ago
  Because I don't know the actual term, and I wanted to convey the thought and move on.
  • Tuxer 7y ago
    "common type" is what people usually use.