instance Monad (State s) where
    return a = State dontChangeStateAndReturnA
        where dontChangeStateAndReturnA s = (a, s)

    -- r1 :: State s a = State (s -> (a, s)) - это вычисление с состоянием
    -- p :: a -> State s b = a -> State (s -> (b, s)) - это вычисление 
    -- с состоянием, зависящее от параметра, вычисляемого r1.
    (State r1) >>= p = State passState
        where passState s = (res2, finalState)
                      -- Запускаем первое вычисление, получаем параметр
                where (res1, intermediateState) = r1 s          
                      -- Вычисляем по параметру второе вычисление
                      (State r2) = p res1                       
                      -- Запускаем второе вычисление
                      (res2, finalState) = r2 intermediateState

data SM a = SM (S -> (a,S)) -- Монадический тип

instance Monad SM where
   -- определяет распространение состояния
   SM c1 >>= fc2        = SM (\s0 -> let (r,s1) = c1 s0
                                         SM c2 = fc2 r in
                                        c2 s1)
   return k             = SM (\s -> (k,s))