For me it doesn't look right to do this cast. If we expect DefaultPriority we should also use it in the Map signature