не, я не хочу трогать рантайм вообще (как и с прокси), у меня все правда от тестов пошло по таким стадиям
- обычно тестим конкретное значение
- потом абстрагируемся что let x (rand) и потом чекаем что в ответе есть значение которое derived от x
- test.check генератором делаем не просто х а целый хеш (типа ring request map) и х у него где-то в глубине
не нравится, что generator уже opaque fn, им самим не по-манипулировать, только его результатом
т.е. на стадии проверки надо из сгереренной мапы доставать х
и чекать что в определенном месте ответа есть derived от х значение
ну и еще я смотрю на все эти type Omit<T, K extends keyof T> = Pick<T, Exclude<keyof T, K>>
и понимаю что я хочу гомоиконности и полиморфизма между инстансами и типами (defn-type [t k] (dissoc t k))