Module typed_predicate