public TypeSpec Resolve (Location loc) { if (type == null) type = Resolve (module, kind, ns, name, arity, loc); return type; } }