generated at
2/21/2025, 7:08:20 PM
Stateモナドを圏論的観点から見る
https://qiita.com/sg-matsumoto/items/de6874149ccbeaedac3e
http://cympfh.cc/aiura/adj-monad.html