Stateモナドを圏論的観点から見る
https://qiita.com/sg-matsumoto/items/de6874149ccbeaedac3e
http://cympfh.cc/aiura/adj-monad.html