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