Phantom Typeの説明が「型パラメータで状態を持つ」ってのめっちゃわかりやすい説明だった