Explicit type annotation to support discoverability between bridging / implicitly convertable types

[kiel (Kiel Gillard)]

I wonder whether the same technique being pitched here is just as applicable in this case, too.