@@ -125,19 +125,19 @@ library
125125 , ConstraintKinds
126126 , DataKinds
127127 , DeriveDataTypeable
128+ , DeriveGeneric
129+ , FlexibleContexts
128130 , FlexibleInstances
129131 , FunctionalDependencies
130132 , GADTs
131133 , KindSignatures
132134 , MultiParamTypeClasses
133− , OverlappingInstances
134135 , OverloadedStrings
135136 , PolyKinds
136− , RecordWildCards
137137 , ScopedTypeVariables
138+ , TupleSections
138139 , TypeFamilies
139140 , TypeOperators
140− , TypeSynonymInstances
141141 , UndecidableInstances
142142 ghc-options: -Wall -Wno-redundant-constraints
143143