example of phantom types