自分で使うモナドをラップする TL;DR 使うモナドをラップしておくとモナドの変更に対して対応が楽ですよ、という話です。 シナリオ例 開発当初、開発者がこのプロダクトで使うモナドはState SomeState aが適切である!!と考えていたとしましょう。 そうしてコードをガリガリ書いていきます。 そうするとコード中にStateが散らばります。この数をN個としておきましょう。 func_1 :: State SomeState a func_2 :: State SomeState a -- ... func_N :: State SomeState a
![モナドをラップする話 - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/79876297095ffd2e8b35f1cfbc029b961c9af192/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-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9JUUzJTgzJUEyJUUzJTgzJThBJUUzJTgzJTg5JUUzJTgyJTkyJUUzJTgzJUE5JUUzJTgzJTgzJUUzJTgzJTk3JUUzJTgxJTk5JUUzJTgyJThCJUU4JUE5JUIxJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9NTYmcz1hM2M3ODUxNThkYTA1ODliNDA0OGU5MmZlZjYzYjIxMw%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDBydWljYyZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9MjkxMWE5ZmRhY2E1YWU0NzVkM2IwYTA2YWQwNGY5MzY%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3D8e32256e1a775c14f5a3718f80f438b8)