мысль интересная, но я не хочу символьных вычислений, наоборот, я скорее ухожу от generators в test.check и рядом с конкретными значениями пробрасывать "а откуда это значение" (и какое оно "в общем виде", т.е. тип) и пытаться написать fn параллельную которая бы показала, что не надо тут генерировать, а этот execution path работает _всегда_ (при этом не хочу чтобы некоторая система типов меня заставляла тайпчекать все подряд). т.е. "обобщенное тестирование"