Add phantom type examples