Compiling program test031a
Compiling program test031f
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,
3
Compiling program test031b
test031b.k:10:Too many arguments in partial application
Compiling program test031c
test031c.k:10:Type error in partial application of 'plus'; has type Int(), 
expected t6(Int) (possible reason: too many arguments in function call)
Compiling program test031d
test031d.k:10:Type error in partial application of 'plus'; has type Int(Int, 
Int), expected Int(Bool, Int)
Compiling program test031e
test031e.k:4:Type error in identifier 'x'; has type Int, expected Bool
test031e.k:14:Type error in partial application of 'plus'; has type Int(Int), 
expected Int(Bool)
