(H[MyImplementation1 10,MyImplementation2 20],(True,(True,(False,False))))