recursivelyImportExternalLabelledDomains :: L2.L2Model -> L2.Identifier -> L2.L2LabelledDomains -> ModelTranslation L2.L2LabelledDomains
recursivelyImportExternalLabelledDomains foreignMod foreignURL (L2.L2LabelledDomains ldl) =
  L2.L2LabelledDomains <$>
    mapM (\(lab, ex) ->
           (,) <$> recursivelyImportExternalLabel foreignMod foreignURL lab
               <*> recursivelyImportExternalDomainExpression foreignMod foreignURL ex) ldl
recursivelyImportExternalLabelledDomains :: L2.L2Model -> L2.Identifier -> L2.L2LabelledDomains -> ModelTranslation L2.L2LabelledDomains
recursivelyImportExternalLabelledDomains foreignMod foreignURL (L2.L2LabelledDomains ldl) =
  L2.L2LabelledDomains <$>
    mapM (\(lab, ex) ->
           (,) <$> recursivelyImportExternalLabel foreignMod foreignURL lab
               <*> recursivelyImportExternalDomainExpression foreignMod foreignURL ex) ldl
recursivelyImportExternalLabelledDomains foreignMod foreignURL (L2.L2LabelledDomains ldl) =
  L2.L2LabelledDomains <$>
    mapM (\(lab, ex) ->
           (,) <$> recursivelyImportExternalLabel foreignMod foreignURL lab
               <*> recursivelyImportExternalDomainExpression foreignMod foreignURL ex) ldl