Consider the folowing box: ```java record Box<A>(A a){}; new Box(1); ``` We can retrieve the type of A by `a` 's value.