remove a no longer required functional dependency
remove a no longer required functional dependency

I am surprised that it is no longer required.
Maybe it is because of current habit for
using the synonym

> class IUsableRules (TermF id) Var typ (NTRS id) => NUsableRules typ id

which was not there originally.

pepeiborra/narradar,pepeiborra/narradar,pepeiborra/narradar