Domain d4agda_: 4agd A:

Shown in context of the chain.