diff --git a/src/lib.rs b/src/lib.rs
index c00789c..0522c2a 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -216,6 +216,7 @@
 #![deny(warnings)]
 
 use std::{
+    borrow::Borrow,
     cmp::{Eq, Ord, Ordering, PartialEq, PartialOrd},
     collections::{hash_map::RandomState, HashMap},
     fmt,
@@ -380,6 +381,11 @@ impl<T> Deref for HConsed<T> {
         self.elm.deref()
     }
 }
+impl<T> Borrow<T> for HConsed<T> {
+    fn borrow(&self) -> &T {
+        self.elm.borrow()
+    }
+}
 
 impl<T: fmt::Display> fmt::Display for HConsed<T> {
     #[inline]