Generalized Yoneda Lemma (from Pat Donaly)