rzk-0.11.4: test/typecheck/cases/happy-tope-family-domain-instance.expect.yaml

status: ok
warnings:
  - TopeFamilyDomainWarning
  - TopeFamilyDomainWarning
regression_for:
  - tope-family-domain-conjunct-elaboration