rust-coyoneda

Functor composition via the Co-Yoneda Lemma