Example 2

use List::MoreUtils qw(all);

sub bar {
    my ( $self, $value ) = @_;
    ...
    return @things;
}
postcondition => 
    sub { all { $_ > 0 } result };