Remove kan-extensions dependency