On 1 February 2011 12:45, Ozgur Akgun <ozgurak...@gmail.com> wrote: > 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...] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe