[Hat] Re: Control.Monad.State