what if we don't unify the preds in PredType.hs