started working on Ran-style Yoneda, but I am blocked on iotaRan without the Functor for z.