回答編集履歴

  ついでに。 `IO Operation Int` の箇所でコンパイルエラーになります。

  がこれはGHCが「`IO`の型引数として`Operation`と`Int`を渡した」と解釈するためです。

  関数適用と同様、型引数をとる型への適用も最高の優先順位で処理されるので気をつけてください。