some scalaz state monad exemples