[Haskell-cafe] DatatypeContexts / alternative

[Ben Franksen]

Am 28.02.21 um 09:52 schrieb 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"

Oops. No objection to that!

Cheers
Ben