translateDomainExpressionCrossScope scope _ nsid (L1.L1DomainExpressionFieldSignature ss dom cod) =
  (,) <$> (L2.L2DomainExpressionFieldSignature ss <$> translateDomainExpression scope ss nsid dom
                                                  <*> translateDomainExpression scope ss nsid cod
          ) <*> (pure scope)
translateDomainExpressionCrossScope scope _ nsid (L1.L1DomainExpressionFieldSignature ss dom cod) =
  (,) <$> (L2.L2DomainExpressionFieldSignature ss <$> translateDomainExpression scope ss nsid dom
                                                  <*> translateDomainExpression scope ss nsid cod
          ) <*> (pure scope)
translateDomainExpressionCrossScope scope _ nsid (L1.L1DomainExpressionFieldSignature ss dom cod) =
  (,) <$> (L2.L2DomainExpressionFieldSignature ss <$> translateDomainExpression scope ss nsid dom
                                                  <*> translateDomainExpression scope ss nsid cod
          ) <*> (pure scope)