Exercises 3.6 and 3.7
Set Typeclasses Strict Resolution
Merge pull request #520 from mikeshulman/settsr

This looks very nice. 

Set Typeclasses Strict Resolution, close  #479
Merge pull request #519 from marcbezem/master

Exercises 3.6 and 3.7