Test.TypeSpec.Internal.Equality
type family
EqExtra
(a :: ak) (b :: bk) ::
Bool
where ...