Maybe, but all the other traits that are part of `GenJSCode`'s cake have a self type of `GenJSCode`. So I thought `TypeKinds` might as well follow the rule.