[Haskell-cafe] I'm afraid of OverloadedLabels.

Nikita Churaev lamefun.x0r at gmail.com
Mon Jul 10 02:57:02 UTC 2017

> You can maybe fix that up with FunDeps
> or TypeFamilies, but then you lose most of TDNR's
> benefits (esp not coping with existential quanted fields,
> which is typically a requirement to cope with OOP-style).

What benefits exactly are lost?

More information about the Haskell-Cafe mailing list