destination

Type-safe interpretation of DataPacket.to.