Resolving dependencies...
cabal: Could not resolve dependencies:
trying: base-4.9.0.0/installed-4.9... (dependency of
theoremquest-client-0.0.0)
trying: theoremquest-0.0.0 (dependency of theoremquest-client-0.0.0)
next goal: json (dependency of theoremquest-0.0.0)
rejecting: json-0.9.1, json-0.9, json-0.8, json-0.7, json-0.6, json-0.5
(conflict: theoremquest => json>=0.4.4 && <0.5)
rejecting: json-0.4.4 (conflict: base==4.9.0.0/installed-4.9..., json =>
base>=4 && <4.4 || >=3 && <4.4 || <3)
rejecting: json-0.4.3, json-0.4.2, json-0.4.1, json-0.3.6, json-0.3.3
(conflict: theoremquest => json>=0.4.4 && <0.5)
Dependency tree exhaustively searched.