とりあえず更自由拡張可能作用のうえに構築した導管上でgzipファイルを展開するコードは書けた。

更自由拡張可能作用: freer extensible effects

導管: conduit