Confirming covariance/contravariance rules showed bug in the injection logic that it leverages. Fixed both provision arg covariance and injection covariance