diff --git a/timely/src/progress/frontier.rs b/timely/src/progress/frontier.rs
index ecba92310..ea443b804 100644
--- a/timely/src/progress/frontier.rs
+++ b/timely/src/progress/frontier.rs
@@ -1,7 +1,7 @@
 //! Tracks minimal sets of mutually incomparable elements of a partial order.
 
 use crate::progress::ChangeBatch;
-use crate::order::PartialOrder;
+use crate::order::{PartialOrder, TotalOrder};
 
 /// A set of mutually incomparable elements.
 ///
@@ -227,6 +227,8 @@ impl<T: Clone> Clone for Antichain<T> {
     }
 }
 
+impl<T: TotalOrder> TotalOrder for Antichain<T> { }
+
 impl<T: PartialOrder> From<Vec<T>> for Antichain<T> {
     fn from(vec: Vec<T>) -> Self {
         // TODO: We could reuse `vec` with some care.