∀ (basePasses monoPasses monoPassesNoLambda impurePasses : Array Lean.Compiler.LCNF.Pass),
  sizeOf
      { basePasses := basePasses, monoPasses := monoPasses, monoPassesNoLambda := monoPassesNoLambda,
        impurePasses := impurePasses } =
    1 + sizeOf basePasses + sizeOf monoPasses + sizeOf monoPassesNoLambda + sizeOf impurePasses