Levelsモナド
https://zenn.dev/lotz/articles/b0188c41d56786290897
https://github.com/xuwei-k/LevelsT//
Algebras for Weighted Search
https://dl.acm.org/doi/pdf/10.1145/3473577
https://togetter.com/li/1770447