dae92a5589 ^
b059cbd155 ^
90bed7c3b6 ^
1
2 3 4 5
6
bug608.scala:16: error: type mismatch; found : hs{type a = ha} required: hs{type s = hs; type a = ha} = g(f(x).bimap(id)) ^ one error found