Fully typed packets