Test.TypeSpec.Internal.Equality

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