ご存知の方がいらっしゃったら、教えて下さい。>>= と -> の結合順位についてです。(-> の方は結合順位じゃない気もします。)演算子 >>= は、左結合のはずです。 m >>= f >>= g == (m >>= f) >>= g ここで、無名関数と >>= を組み合わせた式を考えてみます。…