Class ProgramGene<A>