Compiling program test034a
test034a.k:10:Type error in constant "def"; has type String, expected 
test034a::Foo
Compiling program test034b
Foo true
Foo true
Foo false
Compiling program test034c
test034c.k:9:not all branches of lambda return a value
Compiling program test034d
mult = 10
mult = 20
mult = 30
mult = 40
x = 10
x = 20
x = 30
x = 40
Foo = 4
