1. 3
  1.  

  2. 3

    It would be a good idea to read the paper before checking out the implementation http://okmij.org/ftp/Computation/monads.html#LogicT