let mhc_alleles =     function     | `File f -> fwd (Input.mhc_alleles (`File (bwd f)))     | `Names _ as m -> fwd (Input.mhc_alleles m)