TypeFun.Data.Eq

type family Equal (a :: k) (b :: k) :: Bool where ...