State monads

Will be up soon