generated at
2/21/2025, 7:37:35 PM
Yoneda
from
Freeモナド
Yoneda
https://pursuit.purescript.org/packages/purescript-free/4.0.0/docs/Data.Yoneda