size = 1   Test.#4 = 10
size = 1   Test.#5 = 3
size = 1   Test.$v#1 = Prelude:add Test.#4 Test.#5
size = 0   Test.f = \#1 -> Test.$v#1
