いや、オーバーロードじゃなくて

3:32 AM

Monad 型に対して演算子みたいな precedence を指定できて

3:32 AM

sort 関数みたいに、それを使って入れ子を関数が解決する。