Removing invalid Eq instance for Term an inlining at usage site