Log Message: devel/hs-logict: import hs-logict-0.7.1.0 Adapted from the paper "Backtracking, Interleaving, and Terminating Monad Transformers" by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry.