Select Code to Download

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

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

  my subtype HTTP::Request::Method of Str where {
    $^method eq any <GET POST HEAD ...>;
...
    # Note: You don't have to manually check for $method
    # not being a valid HTTP method :).
  }