Use of the ImpredicativeTypes extension causes this package to not compile in GHC 8. It appears that this package does not actually use ImpredicativeTypes and removing it can be done without breaking anything. This compiles and the tests pass on GHC 8.0.1 as well as 7.10.2.
Use of the ImpredicativeTypes extension causes this package to not compile in GHC 8. It appears that this package does not actually use ImpredicativeTypes and removing it can be done without breaking anything. This compiles and the tests pass on GHC 8.0.1 as well as 7.10.2.
For more information on ImpredicativeTypes and GHC 8 check out the migration guide: https://ghc.haskell.org/trac/ghc/wiki/Migration/8.0