Оригинал:
A series of 0-sized types representing the state of the sender. The value is not important, only the type (hence the name "phantom type").
Перевод:
Набор типов, которые не имеют размера, представляют состояния отправителя. Значение не имеет значения, только тип (поэтому "фантомный тип").
Как можно было так исковеркать? >_<