We'd need something like inlining the type sequence within the data, which doesn't seem particularly elegant.
And some related clean-up.