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

В чем именно разница между STRef и IORef и когда я использую каждый из них? Насколько я могу судить, они оба предназначены для изменяемого состояния, так какой смысл в их существовании обоих?