Operationalモナド
Freeモナド
+
Coyoneda
kindが
*->*
な任意のデータ型からMonadを生成できる
https://its-out-of-tune.hatenadiary.org/entry/20130601/1370109743
http://fumieval.hatenablog.com/entry/2013/05/09/223604
https://myuon-myon.hatenablog.com/entry/2013/06/09/135407
https://togetter.com/li/526588
https://fumieval.hatenablog.com/entry/2013/11/11/154146
https://hackage.haskell.org/package/operational
http://lotz84.github.io/haskell/free-monad.html
https://myuon-myon.hatenablog.com/entry/2017/04/29/213512
https://qiita.com/YoshikuniJujo/items/686fedc92fd20ff70ab8
Coyoneda
Free Operational
https://hackage.haskell.org/package/free-operational
minioperational
https://hackage.haskell.org/package/minioperational