Functor is base for more complex abstractions like Applicative, Monad, Comonad. The axioms of a monad are formally similar to the monoid axioms. Nikolai Durov constructed F as a commutative algebraic monad. This returns an Option type, Scala's equivalent of a the Maybe monad in Haskell. The ontological essence of a monad is its irreducible simplicity. Computation expressions are an implementation of the monad pattern. This new all-pervasive monad encompassed all creation and its original uncreated emanations. The highest divine principle is the Monad. Trithemius equated Hermes' "one thing" with the monad of pythagorean philosophy and the anima mundi. The Monad exists in inconceivable perfection. A continuation monad with return type maps type into functions of type formula 3. This module provides the Cont type, which implements Monad and some other useful functions. The construct that represents side effects is an example of a monad. One benefit of the monad pattern is bringing mathematical precision to bear on program logic. Let Dist denote the Kleisli category of the Giry monad.