Я хочу реализовать алгоритм с помощью монады ST и STUArrays, и я хочу, чтобы это смогло работать и с Плаванием и с Двойными данными. Я продемонстрирую на более простой проблеме в качестве примера: вычисление...

скажем, у меня есть следующий тип: данные MyType = Constructor0 | Constructor1 | получение Constructor2 (Eq, Шоу, Перечисление) Являются там способом создать один из таких экземпляров: MArray (...