size = 2   Test.f = \#1 -> case #1 of {0 -> 1,2 -> 3}
