Top Answers

1. How to use a definition written on locale parameters in the assumptions of the locale?
   3 votes
2. Instantiate type classes in locale contexts
   2 votes