clarify AC section a bit
some Haskell code exploring left Kan extensions