1 2 3 4 5 6 7
module T18231 where import Control.Monad (forever) import Control.Monad.Trans.State.Strict m :: State Int () m = forever $ modify' (+1)