Generic nested type testing