Hi, typelevel , now we are try to use set 2.0.0rc9, but the 0.8.5 set-typelevel not support ,could we upgrade the code and version to support ? thanks