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*