fun <T> shrink(t: T, gen: Gen<T>, test: (T) -> Unit): T
fun <T> shrink(t: T, shrinker: Shrinker<T>, test: (T) -> Unit): T