PairCompare PairConv PairMap QuadrupleConv QuadrupleMap TripleConv TripleMap
next node: AnonPair, prev node: Subsystem AggregateTypes, up to node: Subsystem AggregateTypes