Adding injectivity on the first argument for the apply functor