Relax cabal requirements

Why do we need 1.20? We don't
Add forgetten program