partial_types
