Poking around with machine representation and a state monad