Compiling Program test031a
Adding 3 and 2
5
Adding 10 and 1
Adding 10 and 2
Adding 10 and 3
Adding 10 and 4
Adding 10 and 5
Adding 10 and 6
Adding 10 and 7
11,12,13,14,15,16,17,
Compiling Program test031b
test031b.k:10:Too many arguments in partial application
Compiling Program test031c
test031c.k:10:Can't unify Int() and t8(Int)
Compiling Program test031d
test031d.k:10:Can't unify Int and Bool
Compiling Program test031e
test031e.k:14:Can't unify Int and Bool
