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.