USB-C can run a straight pin out to HDMI now, so you would just have to carry a cable, not a dongle and a cable.

http://www.hdmi.org/manufacturer/HDMIAltModeUSBTypeC.aspx