idris-1.3.3: test/interactive002/expected.out

Nat
Nat
Nat
Nat
Vect (n + m) a
Nat
Nat
(S n)
String
()