package DX::Role::Predicate;
-use List::Util qw(reduce);
-use DX::Utils qw(step CONTENTS_OF);
+use Object::Tap;
use DX::Role;
sub resolution_step_for {
my ($self, $prop, @args) = @_;
$self->_resolution_space_for(@args)
->but(proposition => $prop)
+ ->$_tap(sub { trace rspace => $_[0] })
->next_step;
}