my subtype NonNegativeNumber of Num where { not $^a < 0 };

  my NonNegativeNumber $x =  3; # works
  my NonNegativeNumber $y = -3; # dies

##</code><code>##

  my subtype HTTP::Request::Method of Str where {
    $^method eq any <GET POST HEAD ...>;
  };

  method send_using(HTTP::Request::Method $method) {
    ...;
    # Note: You don't have to manually check for $method
    # not being a valid HTTP method :).
  }