disco-0.2: test/types-syntax/expected

(2, 3)
(2, 3)
(2, 3)
left(4)
left(4)
<ℤ → ℤ>
<ℤ → ℤ>