using pragma ImpredicativeTypes for all version of GHC (available since 6.6)
changelog
bump 1.3.2