Haskell Nomads

So can anybody tell me in a way one can understand it what a fucking monad does?

Let's see if I got it right: monads are an ugly hack that's necessary mainly due to the stupid static type system, and also as a way to write (f (g (h (i x)))) as something like x → f → g → h → i?