from Niko's post: > In the past, we were blocked for technical reasons from expanding implied bounds and supporting perfect derive, but I believe we have resol

from Niko's post: > In the past, we were blocked for technical reasons from expanding implied bounds and supporting perfect derive, but I believe we have resolved those issues. So now we have to think a bit about semver and decide how much explicit we want to be.