どういう経緯だったか忘れてしまったのだけれど Haskell の do 記法は Monad 型クラスの >>= (bind？) 等に変換される糖衣構文で、do 記法で使えるのは Monad 型クラスのインスタンスを持つ型だけだけど、Scala の for 式はどういう形で受け取る型を決めてい…