/dev-haskell/logict/