bug608.check

来自「JAVA 语言的函数式编程扩展」· CHECK 代码 · 共 7 行

bug608.scala:16: error: type mismatch;
 found   : (a) => a
 required: (_1.a) => ? where val _1: hs{type s = hs; type a = ha}
	     = g(f(x).bimap(id))
                            ^
one error found