Applicative#> は Alternative#| との演算子の優先順位の関係で >> を割り当てた方が嬉しい。 >> は Monad だと join だし。
テストテスト。