Clarify the meaning of the type parameter

phantom type