Compiling program test007
test007.k:19:Type error in identifier 'double'; has type Int(Int), expected 
String(Int)
Compiling program test007b
test007b.k:5:Inferred type less general than given type - Inferred t1(t1(t1), 
t1), given a(b(a), a)
