People can disagree on the precise definition of terminology, which is why, in any serious discourse, you have to define things before you begin discussion. The

People can disagree on the precise definition of terminology, which is why, in any serious discourse, you have to define things before you begin discussion. The great thing about Haskell (or any programing language) is that you really have to define things. Jargon doesn't compile. Nevermind the "real" definition of this or that esoteric concept. If you ask N category theorists you'll get N answers. Just import one that works for you and you're off. What seems to have gotten this fellow is that either the definitions in the Prelude/libraries didn't match his expectation, or (more likely) he was surprised by the inconsistencies between GHC and GHCi (which I also find annoying.)