∀ {pu : Lean.Compiler.LCNF.Purity} (name : Lean.Name) (levelParams : List Lean.Name) (type : Lean.Expr)
  (params : Array (Lean.Compiler.LCNF.Param pu)) (safe : Bool),
  sizeOf { name := name, levelParams := levelParams, type := type, params := params, safe := safe } =
    1 + sizeOf name + sizeOf levelParams + sizeOf type + sizeOf params + sizeOf safe