functor (Q : PriorityNodeQueue-> Strategy