This will work fine, but we're missing the recording of the `recordGenericSubstitution`s Implementation just has to store them and put them in the envelope and summon the type on the other end and things will just work 👍