bug608.scala:16: error: type mismatch;
 found   : (a) => a
 required: (ha) => ?
	     = g(f(x).bimap(id))
                            ^
one error found