[crimsonalucard]

You're referring to the axioms defined by the type class.

The actual math definition is pretty deep and requires knowledge and intuition on what a functor is and what a natural transformation is.

[Rerarom]

Yeah, but I know what those are, I have a math background.