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