We'd need something like inlining the type sequence within the data, which doesn't seem particularly elegant.