spec for type conversion