Attempt to explain >>= and combinators without assuming lots of prior knowledge

slightly shorter intro