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