Re: [Haskell-cafe] Optional "Default" instances of classes in certain subcases (but too broad)

Correction to my last email: -- The following would not work because there is no instance Class1 NT1 NT1 NT2 deriving via (NT2) instance Class1 NT1 NT1 Int -- But this would work deriving via (NT2) instance Class1 NT1 NT2 Int -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.