@Theory public void shouldHold(@ForAll @From(Ctor.class) P p) { assertNotNull(p.z()); assertNotNull(p.f()); assertNotNull(p.b()); }