という風に書けるよという話です。 問題はこの f <$> m1 <*> m2 では実際に何が起きているのか、なぜ同じ計算結果になるのか、についてです。 <$> と <*> は fmap と apply <$> と <*> という見慣れた、しかし初心者には分からん殺しの演算子ですが、両方とも infixl 4 なので、普通の左から順に計算できる2項演算です。 <$> は fmap まずこの <$> についてですが、 fmap という Functor 型クラスに関する関数です。様々な言語でリストに対する map としてよく使われているアレです。
![Applicative スタイル `f <$> m1 <*> m2` を読み解く - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/b3621d7f9ee0fbcc4f68dc410da03f3588acfdf3/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-9f5428127621718a910c8b63951390ad.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZ0eHQ9QXBwbGljYXRpdmUlMjAlRTMlODIlQjklRTMlODIlQkYlRTMlODIlQTQlRTMlODMlQUIlMjAlNjBmJTIwJTNDJTI0JTNFJTIwbTElMjAlM0MlMkElM0UlMjBtMiU2MCUyMCVFMyU4MiU5MiVFOCVBQSVBRCVFMyU4MSVCRiVFOCVBNyVBMyVFMyU4MSU4RiZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1jbGlwPWVsbGlwc2lzJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9NjEzMGI3NWMwNzAzOGZhYTVhMWY0Yjk0NjFjNjIwZjQ%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTYxNiZ0eHQ9JTQwbGVnb2tpY2hpJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz1hZWMzOGI0NTE1ODM2YTYxNzM4NTU2NTI2MGMyODk1ZA%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3D1111b1dbbbfbf739f540a884b9eebf14)