idris-0.9.12: test/interactive002/expected

Type checking ./interactive002.idr
Nat
Nat
Nat
Nat
Vect (n + m) a
Nat
Nat
S n
String
()