Hm, what if I don't care if the queue is bounded or not? The check need a concrete mapping, or?