f : List(Int) -> List(Int)
f x = x

f (\x:Z.x)
