Respectful Type Converters 1.1 What Information Do Type Converters Preserve?