Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: free-theorems (user goal)
rejecting: free-theorems-0.3.2.0 (constraint from user target requires
==0.3.1.3)
rejecting: free-theorems-0.3.1.3 (conflict: requires Generics)
rejecting: free-theorems-0.3.1.2, free-theorems-0.3.1.1, free-theorems-0.3.1,
free-theorems-0.3, free-theorems-0.2.1, free-theorems-0.2 (constraint from
user target requires ==0.3.1.3)
Dependency tree exhaustively searched.