Higher Order Protocols are Cool