typeFamily

Targets every generated value whose type belongs to T's type family.

Targets every generated value whose type belongs to type's type family.

This low-level overload is intended for callers that already carry a KType. The caller must keep type and the generator value type consistent.