bindにしなかった場合、型アノテーションが少ないコードをtypeCheckしたときにtypeVarが残ってしまって解けなくなるテストケースがありますね (edited)

11:27 AM

{ (x) -> Int in 4 }(3)

11:27 AM

この式が返す型がIntから変換可能ななにかの型という制約を持ったtypeVarのままで解決できなくなる (edited)