translateDomainExpressionCrossScope scope _ nsid (L1.L1DomainExpressionDisjointUnion ss labels) =
  (,) <$> (L2.L2DomainExpressionDisjointUnion ss <$>  translateLabelledDomains scope ss nsid labels)
      <*> (pure scope)
translateDomainExpressionCrossScope scope _ nsid (L1.L1DomainExpressionDisjointUnion ss labels) =
  (,) <$> (L2.L2DomainExpressionDisjointUnion ss <$>  translateLabelledDomains scope ss nsid labels)
      <*> (pure scope)
translateDomainExpressionCrossScope scope _ nsid (L1.L1DomainExpressionDisjointUnion ss labels) =
  (,) <$> (L2.L2DomainExpressionDisjointUnion ss <$>  translateLabelledDomains scope ss nsid labels)
      <*> (pure scope)