Profunctor型クラス
Profunctorの型クラス
https://its-out-of-tune.hatenadiary.org/entry/20130407/1365350952
https://pursuit.purescript.org/packages/purescript-profunctor/4.1.0/docs/Data.Profunctor
Arrow型クラスの匂いがするmrsekut.icon
https://bartoszmilewski.com/2015/02/03/functoriality/
https://zenn.dev/funnycat/articles/63ef244ecec580