Implement second version of “new_type”.