> How do we answer "How does Haskell, a FP language where composition is a very important concept, compose IO actions?". You can answer "By using the combinato

> How do we answer "How does Haskell, a FP language where composition is a very important concept, compose IO actions?". You can answer "By using the combinators provided for composing IO actions". The fact that the structure encoded (some of) these operations happens to correspond to a monad is something that can be left unmentioned until later.