∀ (monadInfo : Lean.Elab.Do.MonadInfo) (mutVars : Array Lean.Name) (doBlockResultType : Lean.Expr)
  (contInfo : Lean.Elab.Do.ContInfoRef),
  sizeOf { monadInfo := monadInfo, mutVars := mutVars, doBlockResultType := doBlockResultType, contInfo := contInfo } =
    1 + sizeOf monadInfo + sizeOf mutVars + sizeOf doBlockResultType + sizeOf contInfo