A PairElem where A1 is an HStep.
The first component of this pair.
The second component of this pair.