in hxt-monad worked on StateSeq