S02 says- Anywhere you can use a single type you can use a set of types, for convenience specifiable as if it were an "or" junction:
my Int|Str $error = $val; # can assign if $val~~Int or $val~~Str so would sub infix:<...>(Array|Scalar $values, Code $generator) be kosher? I'm with Jon, wondering about two slurpies for infix operators.