annProvenanceToTarget mod ModuleAnnProvenance             = ModuleTarget mod
annProvenanceToTarget mod ModuleAnnProvenance             = ModuleTarget mod
annProvenanceToTarget mod ModuleAnnProvenance             = ModuleTarget mod