disco-0.1.0.0: test/types-numpats/types-numpats.disco

type X = N -> N

f : X
f(0) = 3
f(n) = n+1

g : N -> X
g(0)(2) = 1
g(_)(_) = 2