I am trying to modify this standard example to print values with the types. And I am stuck with p.MirroredElemTypes. I haven\'t found any API to traverse and stringify types