make it possible to apply GHC rewrite rules to class methods
Make it possible to apply GHC rewrite rules to class methods. As Conal wrote in a discussion on glasgow-haskell-users, it is too bad that we can't use class laws as optimizations in the form of rewrite rules. In that same thread Simon PJ referenced #11688 (closed), especially ticket:11688#comment:117471 which gives links to similar examples. ticket:10528#comment:102871 gives more background.