Simple function composition composes functions. getLine, for instance, isn't a function. There is a big problem that "Monads" can refer to the generalization a

Simple function composition composes functions. getLine, for instance, isn't a function. There is a big problem that "Monads" can refer to the generalization and combinators that work with any Monad, or to specific Monad types and the style of composition that they choose to compose values together. Monadic IO is a solution to combining referential transparency and effectful programs. Moands in general is a solution to defining the same combinators over and over for each Monad.