disco-0.1.0.0: test/parse-top-term/parse-top-term.disco

g : N -> N
g(x) = x + 1

-- each(g, f)

3 + 17

4
  + 9
  + 7
  + 16

f : List(N)
f = [1,2,3]