size = 1   Test.#0 = 10
size = 1   Test.#2 = Prelude:negate Test.#0
size = 0   Test.f = \#1 -> Test.#2
