disco-0.1.0.0: test/error-notcon/input

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

f (\x:Z.x)