Since the laws can be expressed in terms of sequence or traverse (see https://hackage.haskell.org/package/base-184.108.40.206/docs/Data-Traversable.html), fantasyland chose the simpler of the two.
One can define sequence in terms of traverse and vice versa:
const sequence = (of, x)=> x.traverse(of, id)
const traverse = (of, f, x)=> x.map(f).sequence(of)
It used to be there, but was removed recently. Good eye!