module Data.Eq.HT where import Data.Function.HT (compose2, ) {-# INLINE equating #-} equating :: Eq b => (a -> b) -> a -> a -> Bool equating :: forall b a. Eq b => (a -> b) -> a -> a -> Bool equating = forall b c a. (b -> b -> c) -> (a -> b) -> a -> a -> c compose2 forall a. Eq a => a -> a -> Bool (==)