You can, but IMO it&#x27;s not so necessary. The module boundary thing doesn&#x27;t cause many issues in practice is straightforward to reason about if you&#x27;re aware of it.<p>(And if you weren&#x27;t aware of it you would probably not use `UnsafeField` either, since the compiler can&#x27;t force you to do that)