Take the state monad : state -> (a, state). I think one would only count that as a wrapper by squinting really, really hard.