Los tipos fantasma son un tipo de tipos genéricos en la programación, en los que un parámetro de tipo se declara pero no se usa directamente dentro de la definición de una estructura de datos, función o clase. Por lo general, se usan para reforzar la seguridad de tipos adicional sin tener que incluir datos reales de ese tipo en la estructura de datos. Esto puede ayudar a prevenir ciertos tipos de errores en tiempo de compilación, lo que ofrece algunas ventajas de escritura estática.

Para obtener más información, puedes consultar esta guía sobre genéricos, que incluye una sección sobre los tipos fantasma: [Move Basics Generics](https://move-book.com/move-basics/generics.html? highlight=phanto #phantom -type-parameters).