Fallback
Priority
fold
Priority
from
Order
PartialOrder
fromOrdering
Order
fromUniversalEquals
Eq