mkDFunUnfolding wants the type of the dfun to be a PredTy