Example 5

sub g {
    my ($f) = @_;
    precondition $f => sub { 
        my ($value) = @_;
        return ( $value >= 0 );
    };
    $f->(15); # will pass
    $f->(-3); # will fail
}