[curry] Dynamic Predicates?