lots of kan extension docs