ファントム型 とは？

いい直感だよ！型パラメータとして宣言はされているけど、実行時のデータには現れない型のことだよ。

コンパイル時に「状態」を区別するためだよ。たとえば `Token<Authenticated>` と `Token<Anonymous>` は実行時には同じ構造でも、型で区別することで認証済みトークンにしかできない操作を制限できるんだ。

コンパイルエラーになるよ！実行すら試みる前に弾かれるから、実行時のチェックが要らなくなるんだ。

そう、ゼロコスト抽象化と呼ばれる考え方だよ。RustやHaskell、TypeScriptなどで使われていて、実行時に余分なコストをかけずに安全性を保証できるんだ。

データベース接続の「接続前・接続済み・クローズ済み」、ファイルの「読み取り専用・書き込み可能」など、状態遷移を型で強制したいときに最高に輝くよ。コンパイラが状態機械のバグを全部見つけてくれるんだ。