"I am and have been working on just that," said Isaac. "Should I not ask you, Gottfried, if you would work with me? It might entail giving up on monads, by the way. Ah, I see by your look that you have no thought of doing so."