`with_priority_t`