size = 0   Test.f = \#1 -> #1
