1 files changed, 7 insertions, 0 deletions
diff --git a/dhall/src/core/thunk.rs b/dhall/src/core/thunk.rs
index 530762b..a02d7ae 100644
--- a/dhall/src/core/thunk.rs
+++ b/dhall/src/core/thunk.rs
@@ -235,6 +235,13 @@ impl TypeThunk {
         }
     }
 
+    pub(crate) fn to_thunk(&self) -> Thunk {
+        match self {
+            TypeThunk::Thunk(th) => th.clone(),
+            TypeThunk::Type(t) => t.to_thunk(),
+        }
+    }
+
     pub(crate) fn to_type(
         &self,
         ctx: &TypecheckContext,