Traversable
Specify that ⊛ is left associative.
Vector is traversable.
Transpose.
crush
traversableId, traversableComp