type-preserving