size = 1   Test.#0 = 10
size = 1   Test.#782 = 3
size = 1   Test.#3 = Prelude:add Test.#0 Test.#782
size = 0   Test.f = \#1 -> Test.#3
