圏論の米田の補題とかいうものについて調べた結果
HaskellのYoneda型→Coyoneda→Operationalモナドと続いて
最終的にRustのトレイトの仕組みに行き着いた