disco-0.1.6: test/types-192/input

:type \x. \y. \z. x + y / z