Improve consistency check for type families
The code type family Foo where Bar = ()
should be rejected. In !6399 (closed), this is done by a function checkTyFamInstEqn
, performed during type checking. As pointed out during review, this leads to duplicate checks; the goal of this ticket is to investigate and possibly move the check to the renamer.