translateClassExpression scope _ nsid (L1.L1ClassExpressionOpenDisjointUnion ss labels) =
  L2.L2ClassExpressionOpenDisjointUnion ss <$> translateLabelledDomains scope ss nsid labels
translateClassExpression scope _ nsid (L1.L1ClassExpressionOpenDisjointUnion ss labels) =
  L2.L2ClassExpressionOpenDisjointUnion ss <$> translateLabelledDomains scope ss nsid labels
translateClassExpression scope _ nsid (L1.L1ClassExpressionOpenDisjointUnion ss labels) =
  L2.L2ClassExpressionOpenDisjointUnion ss <$> translateLabelledDomains scope ss nsid labels