1 Feb
2011
1 Feb
'11
8:08 a.m.
On 1 February 2011 12:45, Ozgur Akgun
I am not very much interested in the technical details about how things currently are, I am more interested in a discussion about why (if?) this would be considered a design flaw?
Wanting a general base case + specific exceptional cases is in no way heinous. However this is somewhat at odds with type-class resolution as it stands. SYB3 is a one of systems to reconcile the problem. [By the way, this needs interpreting with a large grain of salt. I haven't been following the Generics story much recently, so I could be mis-representing things, nor do I have a particularly sound knowledge of how GHC resolves overlapping...]