haskell-jp / beginners #16 at 2021-07-04 00:11:53 +0900

すみません
arrowをproc?記法を使わないで書くとKleisli const が大量に出てきてしまうのですがこれは回避する方法があるのでしょうか？

アロー記法 (Arrow notation) ですね。アロー記法に詳しくないので先に確認したいのですが、アロー記法を使うと Kleisli const って減りますか?
先の例を書き換えてみると

main = runKleisli (proc a -> do
  l <- Kleisli (const getLine) -< a 
  Kleisli print -< l) ()

になって、`Kleisli` や const は減らせなかったので、やり方があれば教えていただきたいです。

確かにそうですね
すみません
proc記法はKleisliとかを減らせる記法なんだと勘違いしていました