[Haskell-cafe] Inheritance and Wrappers

[Stephen Tetley]

On 1 February 2011 12:45, Ozgur Akgun <ozgurakgun at 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...]