cats.free
F[A] converts to Yoneda[F, A] for any functor F.
F[A]
Yoneda[F, A]
F
Yoneda[F, _] is a functor for any F.
Yoneda[F, _]