recursivelyImportExternalLabel :: L2.L2Model -> L2.Identifier -> L2.L2Label -> ModelTranslation L2.L2Label
recursivelyImportExternalLabel foreignMod foreignURL (L2.L2Label ens val) =
  L2.L2Label <$> recursivelyImportExternalNS foreignMod foreignURL ens
             <*> pure val
recursivelyImportExternalLabel :: L2.L2Model -> L2.Identifier -> L2.L2Label -> ModelTranslation L2.L2Label
recursivelyImportExternalLabel foreignMod foreignURL (L2.L2Label ens val) =
  L2.L2Label <$> recursivelyImportExternalNS foreignMod foreignURL ens
             <*> pure val
recursivelyImportExternalLabel foreignMod foreignURL (L2.L2Label ens val) =
  L2.L2Label <$> recursivelyImportExternalNS foreignMod foreignURL ens
             <*> pure val