in many cases, the logic around isResolvable/isUnsatisfied/isAmbiguous could be replaced by a consumer of the resolved instance. It would be good to introduce a ifResolved(Consumer<T>) method that consumes the resolved instance, not invoking the consumer if the instance was not resolvable.