Re: Higher Order Yoneda?