j
k
j a
j l
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?
Back to the thread
Back to the list
