def normalized_type
            if type[:args].size > 2
              {
                prim: "pair",
                args: [