show kind (<> 1 (<0> 1 <0, 0> 2 <0, 1> 3 <0, 2>) 2 <1>).

 Does not fail validation but it should
