the only caveat as it stands is that filtering predicates in

walk

won't be able to inspect values... only types