Wrap 'fillMsg' in a state monad transformer to count 'seq's and msgsize