deleting Predicates.hs