fix examples using Ty.kind() in the book (#13875)

fix examples using Ty.kind() in the book (#13875) #3896