my subtype HasToBeDefined of Scalar where { defined $^a };
  my HasToBeDefined $checked;