monad and traversable in batSeq