def subc(self, type_var: TypeVarType, bound: Type) -> Constraint: return Constraint(type_var.id, SUBTYPE_OF, bound)
def subc(self, type_var, bound): return Constraint(type_var.name, SUBTYPE_OF, bound)