Reword so phantom type refers to the type and not the hidden parameter. Add struct example.