3 ms·

The Yoneda lemma is another great example of (once you've got the right setup) trivial but beautiful