On Sat, 14 Sep 2019, Erik Hesselink wrote: > Does 'equating' exist in base now? I've always missed having that > function in the past, and defined it myself many times. I import it from my utility-ht:Data.Eq.HT and thus stay independent from newer base versions.