Possibly should be `typeb->immutableOf()->implicitConvTo(tb->immutableOf());`

I feel like this was covered in the feedback on the original pull...