Enable ConstraintKinds and RankNTypes in the cabal-file