Update Show example (typed version)