ProfunctorOptics 論文：https://otamusan.github.io/ProfunctorOptics/profunctorOptics.pdf スライド：https://otamusan.github.io/ProfunctorOptics/slide.pdf