Monad transformer laws in pipes and conduit

conduit.hs

import Data.Conduit
import Control.Monad.Trans.State
import Control.Monad.IO.Class
import Control.Monad.Trans.Class

main = runPipe $ yield () >+> transPipe (flip evalStateT 0) (do
    a <- lift get
    lift $ put $ a + 1
    b <- lift get
    liftIO $ print (a, b)

    _ <- await

    (x, y) <- lift $ do
        x <- get
        put $ x + 1
        y <- get
        return (x, y)
    liftIO $ print (x, y)
    )

proxy.hs

import Control.Proxy
import Control.Monad.Trans.State
import Control.Monad.IO.Class
import Control.Monad.Trans.Class
import Control.MFunctor

main = runPipe $ yield () >+> mapT (flip evalStateT 0) (do
    a <- lift get
    lift $ put $ a + 1
    b <- lift get
    liftIO $ print (a, b)

    _ <- await

    (x, y) <- lift $ do
        x <- get
        put $ x + 1
        y <- get
        return (x, y)
    liftIO $ print (x, y)
    )