Monads in Haskell and Category Theory

Abstract: he monad is a mathematical concept, used by Haskell to describe — among other things — Input/Output. Many are intimidated by it since it stems from abstract mathematics — namely Category Theory. However, the mathematics required to use and understand the monad is straight forward and intuitive, and can be explained through incremental definitions and proofs. This paper intends to construct and explain the monad from the ground up and show some example uses for it.