Indeed, I don’t expect us to change encoding, but the example serves as a caution against moving things into base: it ties upgrades to GHC. That doesn’t seem desirable.
Perhaps you can elaborate on the positive aspects of moving
base. What would we achieve by it that we can’t already do?