拡張可能タングルでDo記法レスプログラミング♪ (Haskell)

「extensible パッケージの楽しみ その３」です． 拡張可能レコードやら Extensible Effect やら，Haskell の Extensible なものを全て統一された仕組みで提供する化け物パッケージ extensible について，割とドキュメントには無い(？)ネタを書いておくシリーズ第三弾です． ぼく自身は作者ではないし，間違っているかもなのでこの記事を完全には当てにしないでください． また，現在の最新バージョンは 0.4.7.1 です(そのバージョンでハナシをしてる)． 前々回は拡張可能レコードの拡縮の話を，前回は拡張可能直和型(バリアント)を引数に取る関数の話を書きました． 今回は 拡張可能タングル で遊んでみます． 今回の Haskell コードは基本的にコレ． 拡張可能タングル 作者さんの拡張可能タングルについての記事があり，非常に分かりやすいです． 波打た