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