Test.TypeSpec.Internal.Equality

type family EqExtra (a :: ak) (b :: bk) :: Bool where ...