translateDomainDefinition :: ScopeInformation -> L1.SrcSpan -> L2.L2NamespaceID ->
                             L1.L1DomainDefinition -> ModelTranslation L2.L2DomainExpression
translateDomainDefinition scope _ nsid
  (L1.L1CloneDomain ss dt) =
    makeClonelikeDomain scope ss nsid dt (const . return $ L2.L2DomainClone)
translateDomainDefinition :: ScopeInformation -> L1.SrcSpan -> L2.L2NamespaceID ->
                             L1.L1DomainDefinition -> ModelTranslation L2.L2DomainExpression
translateDomainDefinition scope _ nsid
  (L1.L1CloneDomain ss dt) =
    makeClonelikeDomain scope ss nsid dt (const . return $ L2.L2DomainClone)
translateDomainDefinition scope _ nsid
  (L1.L1CloneDomain ss dt) =
    makeClonelikeDomain scope ss nsid dt (const . return $ L2.L2DomainClone)