3 ms·
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 a
by crimsonalucard 7y ago
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 7y agoYeah, but I know what those are, I have a math background.