(If you have trouble keeping straight what is the OCaml terminology for this and what is the Haskell terminology, don't worry, we do too.)
-Now the obvious singleton for the Option monad is `\p. Just p`. Give
+Now the obvious singleton for the Option monad is `\p. Some p`. Give
(or reconstruct) either of the composition operators `>=>` or `<=<`.
Show that your composition operator obeys the Monad Laws.