use `applyFunc' in PredPat