fn leaf_value() -> impl Strategy<Value = Value>