BuildingPacket: Codec<{}, {}> = ...