Usando tipos fantasma para evitar passagem de argumentos inseguros
