Resolving dependencies...
cabal: Could not resolve dependencies:
trying: synthesizer-inference-0.2 (user goal)
next goal: UniqueLogicNP (dependency of synthesizer-inference-0.2)
Dependency tree exhaustively searched.