type checking not up to it?

stuff.pl

sub grep-somethings(
    Numeric @things --> Positional[Numeric]
) {
    return @things.grep(* > 5);
}

my Numeric @somethings = 1, 5, 25;
grep-somethings(@somethings);