[Hat] Control.Monad.State