Ceh GHC: add kan-extensions