use Types::Standard qw( Int ArrayRef );

my $type   = ArrayRef[ Int->where('$_ >= 0') ];
my $check  = $type->compiled_check;

# The following check is ONE sub call. Just one.
if ($check->(\@somearray)) {
   ...;
}