more nukage -- most of Predicates.hs is unnecessary