Move pointwise equality to `.Core` module#2335

Merged

MatthewDaggitt merged 2 commits intomasterfrom

MovePointwiseFnEq

Apr 1, 2024

Commits on Mar 29, 2024

Closes #2331.
JacquesCarette
committed
don't import Data.Nullary itself since its sub-modules were already imported, just redistribute the using properly.
JacquesCarette
committed