disco-0.1.0.0: test/error-numpatterns/numpatterns.disco

f : N -> N -> Bool
f 3 = \x.x > 2
f x y = true