Compiling Program test034a
test034a.k:10:Can't unify Foo and String
Compiling Program test034b
Foo true
Foo true
Foo false
