Added a bunch of examples to M.hs's documentation