Applicative Styleをdo記法使って書く

依存関係も見てくれるのか

Haskell Day 2021のGraphQLの発表の後半で少し説明されている

Applicative型クラス#618949df19827000008325deみたいな話があるので、

do で書いた時も、Applicativeで済むならApplicativeとして解釈して欲しい、となる

「Applicativeで済むなら」という基準は機械的に判断できるものなのか？

あー、前の行の値に依存しているかどうかで判断できるのか

ざっくり概要がつかめる