アプリカティブ
https://qiita.com/suin/items/0255f0637921dcdfe83b#applicative
https://www.notion.so/Haskell-Advanced-e0db1cf14d534509a1607d69bcfb0de7?pvs=4#4cda18decd6b452ea7bef92e493952d5
関手
をより拡張した概念