in hxt-monad new module IOsequence
in hxt-monad StateSequence and IOSequence completed