Congratulations, he realized the advantages of monadic composition of computations.