Rozumiem, że monada ST jest czymś w rodzaju młodszego brata IO, który z kolei jest państwową monadą z dodanymRealWorld magia. Mogę wyobrazić sobie stany i mogę sobie wyobrazić, że RealWorld jest w jakiś sposób umieszczony w IO, ale za każdym razem, gdy piszę podpis typuST s monady ST myli mnie.

Weź na przykład,ST s (STArray s a b). W jaki sposóbs pracuje tam? Czy jest on używany tylko do budowania sztucznej zależności danych między obliczeniami bez możliwości odwoływania się do takich stanów jak monada stanu (ze względu naforall)?

Po prostu wyrzucam pomysły i naprawdę doceniam kogoś, kto ma większą wiedzę niż ja, by mi to wyjaśnić.