Add trivial cases too, like `valid(True)` and `Valid(False)`.