update: don't actually know how to generalize functor composition in terms of
Kan extensions.
write about the thing that isn't functor composition, using left Kan extensions