public Type resolve(Scope s, int tag) {
        resolveList(generators, s, tag);
        Type keyType = resolveExpr(key, s, tag);
        Type valueType = resolveExpr(value, s, tag);
        return new DictType(keyType, valueType);
    }