Stateモナドのモジュール名
Lazyの有無に関係ないようですね。
Prelude> :i Control.Monad.State.State type Control.Monad.Trans.State.Lazy.State s = Control.Monad.Trans.State.Lazy.StateT s Data.Functor.Identity.Identity -- Defined in `Control.Monad.Trans.State.Lazy'
https://hackage.haskell.org/package/mtl-1.1.0.2/docs/src/Control-Monad-State.html#State
Prelude> :i Control.Monad.State.Lazy.State type Control.Monad.Trans.State.Lazy.State s = Control.Monad.Trans.State.Lazy.StateT s Data.Functor.Identity.Identity -- Defined in `Control.Monad.Trans.State.Lazy'
https://hackage.haskell.org/package/mtl-1.1.0.2/docs/src/Control-Monad-State-Lazy.html#State