Monads appear in various disciplines, especially in the science of computing. Understanding phenomena in computing requires more than a simple scheme of input and output correspondence. Non-deterministic computing, stateful computing, and computing that may fail are all everyday life in computer science. Moggi’s ideas are lucid in formulating such uncertain mathematical objects in category theory. The Kleisli triple is the main target of this chapter.