Haskell uses the words "type", "class", and "kind", and maybe some others too, which are all just simple English words that denote some form of abstract groupin

Haskell uses the words "type", "class", and "kind", and maybe some others too, which are all just simple English words that denote some form of abstract grouping ("form" and "group" I suppose are two other candidates). At least they're called "typeclasses" and not just "classes". But we're always going to have some overloading of these powerful short ancient words. I did recently see a suggestion to rename the "typeclass" keyword to "algebra" which would be pretty cool!