Haha, an actual category theorist! You should have gone with “we have more than one of those in Haskell” or something, then. As it is, it really just reads like someone who thinks higher-order functions are too hard of a concept, and that the whole language is therefore garbage.