happy-modal-uninv-shape-restricted.expect.yaml

status: ok
regression_for:
  - "nfTope: uninv distributes over the conjunction that a shape-restricted application normalises to, so each conjunct reaches the tope context"