When doing property-based testing with TypeScript, a JS property-based testing can be used. However, types of value to generate as input for tests have to expressed for the testing framework, even if ...