Pred types not going to work that way