singleton_type
