Control.Monad.STтический (анти-Satisfiability Modulo Theories-изм)