INLINE all the things
Updated synopsis
lift contravariant adjunctions into Yoneda