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