Yoneda
from
Freeモナド
Yoneda
https://pursuit.purescript.org/packages/purescript-free/4.0.0/docs/Data.Yoneda