> -- Alexey Veselovsky писал(а):
> Если в монаде IO, то нормально  Ну или в ST.
У монад IO/ST суть не в том, что они разрешают побочные эффекты, а в том, что они их строго локализуют. То есть дают на ними, эффектами этими побочными, строгий контроль.