size = 0   Test.f = Test.g
size = 2   Test.g = \#1 -> let {#2 = Test.g #1} in Test.f #2
