> So it's a wrapper that implements a particular interface? Then why, oh why, do we have so many people who spout... Its because its actually a mathematical co

> So it's a wrapper that implements a particular interface? Then why, oh why, do we have so many people who spout... Its because its actually a mathematical concept. And that's the mathematical definition. So Haskell decided to use the same name. Now some people feel, should I explain the math concept, or its concrete representation in Haskell. Also, its a bit more involved as an interface. In that its not enough to implement the common methods for the interface. You also have to prove that your implementation for each exhibit certain properties, specifically there needs to be an identity value which act as a neutral element, and they must be associative. Those laws are where things get more mathematical. Because its rare in comp-sci to talk about laws and properties of functions.