We don't need the <Ord extends Order> anymore