Add kan-extensions dependency for instances