アプリカティブ
圏論
のアプリカティブ
https://blog.miz-ar.info/wp-content/uploads/2018/12/applicative.pdf