inhabited_type