Мне ответили на мой вопрос на другом сайте, поэтому я предоставлю ответ и для всех, кто наткнулся на эту страницу.
Похоже, что функция, которую я искал, была фактически удалена из болеепоследние (v16 и v17) копии ADT.Я не знаю почему, потому что это действительно полезная функция, но наша причина не в том, почему!
Спасибо тем, кто посмотрел на этот вопрос.