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