switch from ImpredicativeTypes to newtype+Rank2Types
Merge branch 'master' of https://github.com/dmbarbour/haskell-vcache