Log Message:
devel/hs-logict: Updateto 0.8.0.0

0.8.0.0
* Breaking change: do not re-export Control.Monad and Control.Monad.Trans
  from Control.Monad.Logic.
* Generalize instance Traversable (LogicT Identity) to instance
  (Traversable m, Monad m) => Traversable (LogicT m).
* Add conversion functions fromLogicT and fromLogicTWith to facilitate
  interoperation with list-t and logict-sequence packages.
* Add hoistLogicT and embedLogicT to convert LogicT computations from one
  underlying monad to another.