diff --git a/src/index_map.rs b/src/index_map.rs
index fb16614..4a23352 100644
--- a/src/index_map.rs
+++ b/src/index_map.rs
@@ -289,6 +289,19 @@ impl<K: Eq + Hash, V, S: Default> Default for FrozenIndexMap<K, V, S> {
     }
 }
 
+impl<K: Clone, V: Clone, S: Clone> Clone for FrozenIndexMap<K, V, S> {
+    fn clone(&self) -> Self {
+        assert!(!self.in_use.get());
+        self.in_use.set(true);
+        let self_clone = Self {
+            map: unsafe { self.map.get().as_ref().unwrap() }.clone().into(),
+            in_use: Cell::from(false),
+        };
+        self.in_use.set(false);
+        return self_clone;
+    }
+}
+
 impl<T: Hash + Eq, S: PartialEq> PartialEq for FrozenIndexMap<T, S> {
     fn eq(&self, other: &Self) -> bool {
         assert!(!self.in_use.get());
diff --git a/src/index_set.rs b/src/index_set.rs
index 735810b..2391327 100644
--- a/src/index_set.rs
+++ b/src/index_set.rs
@@ -250,6 +250,19 @@ impl<T: Eq + Hash, S: Default> Default for FrozenIndexSet<T, S> {
     }
 }
 
+impl<K: Clone, V: Clone> Clone for FrozenIndexSet<K, V> {
+    fn clone(&self) -> Self {
+        assert!(!self.in_use.get());
+        self.in_use.set(true);
+        let self_clone = Self {
+            set: unsafe { self.set.get().as_ref().unwrap() }.clone().into(),
+            in_use: Cell::from(false),
+        };
+        self.in_use.set(false);
+        return self_clone;
+    }
+}
+
 impl<T: Hash + Eq, S: BuildHasher> PartialEq for FrozenIndexSet<T, S> {
     fn eq(&self, other: &Self) -> bool {
         assert!(!self.in_use.get());
diff --git a/src/map.rs b/src/map.rs
index 38dcd16..befa3e6 100644
--- a/src/map.rs
+++ b/src/map.rs
@@ -270,6 +270,19 @@ impl<K: Eq + Hash, V, S: Default> Default for FrozenMap<K, V, S> {
     }
 }
 
+impl<K: Clone, V: Clone, S: Clone> Clone for FrozenMap<K, V, S> {
+    fn clone(&self) -> Self {
+        assert!(!self.in_use.get());
+        self.in_use.set(true);
+        let self_clone = Self {
+            map: unsafe { self.map.get().as_ref().unwrap() }.clone().into(),
+            in_use: Cell::from(false),
+        };
+        self.in_use.set(false);
+        return self_clone;
+    }
+}
+
 /// Append-only version of `std::collections::BTreeMap` where
 /// insertion does not require mutable access
 pub struct FrozenBTreeMap<K, V> {
@@ -496,6 +509,19 @@ impl<K: Clone + Ord, V: StableDeref> Default for FrozenBTreeMap<K, V> {
     }
 }
 
+impl<K: Clone, V: Clone> Clone for FrozenBTreeMap<K, V> {
+    fn clone(&self) -> Self {
+        assert!(!self.in_use.get());
+        self.in_use.set(true);
+        let self_clone = Self {
+            map: unsafe { self.map.get().as_ref().unwrap() }.clone().into(),
+            in_use: Cell::from(false),
+        };
+        self.in_use.set(false);
+        return self_clone;
+    }
+}
+
 impl<K: Eq + Hash, V: PartialEq + StableDeref> PartialEq for FrozenMap<K, V> {
     fn eq(&self, other: &Self) -> bool {
         assert!(!self.in_use.get());
diff --git a/src/sync.rs b/src/sync.rs
index 150ecc9..4e2fdc2 100644
--- a/src/sync.rs
+++ b/src/sync.rs
@@ -415,6 +415,14 @@ impl<K, V> std::convert::AsMut<HashMap<K, V>> for FrozenMap<K, V> {
     }
 }
 
+impl<K: Clone, V: Clone> Clone for FrozenMap<K, V> {
+    fn clone(&self) -> Self {
+        Self {
+            map: self.map.read().unwrap().clone().into(),
+        }
+    }
+}
+
 impl<K: Eq + Hash, V: PartialEq> PartialEq for FrozenMap<K, V> {
     fn eq(&self, other: &Self) -> bool {
         let self_ref: &HashMap<K, V> = &self.map.read().unwrap();
@@ -514,7 +522,7 @@ impl<T: StableDeref> FrozenVec<T> {
     /// Returns an iterator over the vector.
     pub fn iter(&self) -> Iter<'_, T> {
         self.into_iter()
-    }    
+    }
 }
 
 /// Iterator over FrozenVec, obtained via `.iter()`
@@ -599,6 +607,14 @@ impl<T> Default for FrozenVec<T> {
     }
 }
 
+impl<T: Clone> Clone for FrozenVec<T> {
+    fn clone(&self) -> Self {
+        Self {
+            vec: self.vec.read().unwrap().clone().into(),
+        }
+    }
+}
+
 impl<T: PartialEq> PartialEq for FrozenVec<T> {
     fn eq(&self, other: &Self) -> bool {
         let self_ref: &Vec<T> = &self.vec.read().unwrap();
@@ -1053,6 +1069,12 @@ impl<K: Clone + Ord, V: StableDeref> Default for FrozenBTreeMap<K, V> {
     }
 }
 
+impl<K: Clone, V: Clone> Clone for FrozenBTreeMap<K, V> {
+    fn clone(&self) -> Self {
+        Self(self.0.read().unwrap().clone().into())
+    }
+}
+
 impl<K: PartialEq, V: PartialEq> PartialEq for FrozenBTreeMap<K, V> {
     fn eq(&self, other: &Self) -> bool {
         let self_ref: &BTreeMap<K, V> = &self.0.read().unwrap();
diff --git a/src/vec.rs b/src/vec.rs
index e93f7a3..691bee4 100644
--- a/src/vec.rs
+++ b/src/vec.rs
@@ -216,6 +216,14 @@ impl<T> Default for FrozenVec<T> {
     }
 }
 
+impl<T: Clone> Clone for FrozenVec<T> {
+    fn clone(&self) -> Self {
+        Self {
+            vec: unsafe { self.vec.get().as_ref().unwrap() }.clone().into(),
+        }
+    }
+}
+
 impl<T> From<Vec<T>> for FrozenVec<T> {
     fn from(vec: Vec<T>) -> Self {
         Self {