[keithalewis]

Composition/SeqComp comes for free. A monad is how to wrap something up,apply a function to the wrapped up thing, and how to unwrap it.

[hgsgm]

Composition is not sequential in a pure, lazy language with a graph reduction runtime like Haskell.