If we put a definition in type-rep.rkt for unsafe-Type-seq, would we get the same speed? I think it would be more readable.