[Compiler.saveMono] size: 1
    def foo._lambda_0 x a.1 : Nat :=
      let _x.2 := Nat.add a.1 x
      _x.2
[Compiler.saveMono] size: 2
    def foo x xs : List Nat :=
      let _f.1 := foo._lambda_0 x
      let _x.2 := List.map._at_.map.spec_0 _f.1 xs
      _x.2
[Compiler.saveMono] size: 2
    def boo x xs : List Nat :=
      let _f.1 := foo._lambda_0 x
      let _x.2 := List.map._at_.map.spec_0 _f.1 xs
      _x.2