zenn: Type level mapを使ったpreload風関連リソースの取り回し。Indexed monad添え

zennに記事書いた。
一応まとめとく。

Type level mapを使ったpreload風関連リソースの取り回し。Indexed monad添え