Specs for `Pk` cases, aka `Id[A]` and `NotAssigned`.