functor (Q : PriorityNodeQueue) -> Strategy