Binary instances for the scope-safe syntax: the wire view of a term is the term itself, raw ids and all.

The instances are deliberately orphans in a module of their own, so that they are opt-in: importing this module is what brings them into scope, and nothing else in the library does. (The dependency this costs is binary, a GHC boot library.)

Note that decoding mints scope evidence: a Name comes back at whatever scope index the context asks for, and the existential scope under a binder is chosen arbitrarily. Thus the instances are a trust boundary, in the sense of checkExtScope. The bytes are meaningful only under the discipline of the layer that wrote them, and that layer is expected to validate what it can on the way in. In particular, it should resolve the references it made world-independent, and check that the names it left verbatim lie where its allocation policy says. Control.Monad.Free.Foil.Artifact supplies those checks.