Domain d1ppxa_: 1ppx A:

Shown in context of the chain.