> 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?