4 ms·
The laws are important if you want to implement these typeclasses in your own data type, but I feel for new comers who will only want to use them in other data
by joyfulmantis 9y ago
The laws are important if you want to implement these typeclasses in your own data type, but I feel for new comers who will only want to use them in other data types it is better to first focus on practical application. I feel that laws and formal definitions tend to drive away newcomers from a subject that need not be so hard to understand.