@@ -3,7 +3,9 @@
3, GeneralizedNewtypeDeriving
3, GeneralizedNewtypeDeriving
4, TypeSynonymInstances
4, TypeSynonymInstances
5, MultiParamTypeClasses
5, MultiParamTypeClasses
6−, FlexibleInstances #-}
6+, FlexibleInstances
7+, IncoherentInstances #-}
8Copyright (C) 2006-2016 John MacFarlane <jgm@berkeley.edu>
10Copyright (C) 2006-2016 John MacFarlane <jgm@berkeley.edu>