size = 2   Test.f = \#1 -> case #1 of {x:xs -> xs,[] -> []}
