[Haskell-cafe] DatatypeContexts / alternative

[Tom Ellis]

On Sun, Feb 28, 2021 at 09:38:17AM +0100, Ben Franksen wrote:
> Am 24.02.21 um 11:17 schrieb Tom Ellis:
> > It is a rare problem that gets simpler by the
> > addition of type classes.
> 
> I disagree that this is a rare problem. It is a pervasive problem. It
> crops up almost everywhere, at least that is my personal experience. And
> I think Section 2 of the "Partial Type Constructors" paper shows that my
> experience is not particularly unusual.

I think I must have use language that was unnecessarily confusing. My
meaning was

"Only rarely is a problem simplified by the addition of typeclasses"

Tom