RE: GHC rewrite rules for class operations & laws