Я заметил, что Data.UnionFind использует монаду IO для предоставления указателей через IORefs.Я думаю, что все с радостью вызывают unsafePerformIO при локальном использовании в чистом коде, так как структура данных настолько хороша...

Для многих проблем, которые я вижу, рекомендуется использовать структуру данных Union-find. Я попытался прочитать об этом и подумать о том, как это реализовано (используя C++). Мое текущее понимание заключается в том, что это ...