generated at
Superモナド
Indexedモナドの一般化
https://qiita.com/tnagao7/items/11a6e667011d530832e8
Indexedモナド、Effectモナド、制約付きモナドなどの複合？
依存型の応用？

https://github.com/jbracker/supermonad
https://www.idris-lang.org/SSGEP/lecture2.pdf
Idris