abstract_type
