{P : Sort u} →
  {builderId ref : Lean.Name} →
    {args : List Lean.DataValue} →
      {builderId' ref' : Lean.Name} →
        {args' : List Lean.DataValue} →
          { builderId := builderId, ref := ref, args := args } =
              { builderId := builderId', ref := ref', args := args' } →
            (builderId = builderId' → ref = ref' → args = args' → P) → P