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

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