Me: It's confusing to talk about programming sometimes because that "type" is a vocabulary word with special meaning but it's also a general word in English. I know, if I ever need to express a general category of things, I'll use the unambiguous word "kind".

Haskell: *About to play a hilarious prank on me*

@mcc imo computer scientists are nowhere near willing enough to make up new words
Stropping (syntax) - Wikipedia

@vikxin @mcc stropping is a perfectly cromulent word
@aeva @mcc when posting this I didn't know if it was a counterpoint that they shouldn't be naming things or a counterpoint that they had indeed made up good words.
@vikxin I didn't know this had a name, so I've had to describe the concept every time I've referred to it