We should consider adding a queue data structure to the Spicy runtime library. We currently only provide a vector<T> and users need to implement their own, if implemented in Spicy code likely inefficient implementation.
We should support at least the following API
struct Queue<T> {
void push(T);
optional<T> pop();
uint64 size();
}