Update to work with `type Pred = Type` in GHC HEAD.