From 1931c68ae2b9add3235b729b194ef4b4ce6938af Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Fri, 3 Oct 2025 23:06:05 +0200
Subject: Add typeOf functions

---
 src/Data/Expr/SharingRecovery.hs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/Data/Expr/SharingRecovery.hs')

diff --git a/src/Data/Expr/SharingRecovery.hs b/src/Data/Expr/SharingRecovery.hs
index 02b3e3e..34fd4ec 100644
--- a/src/Data/Expr/SharingRecovery.hs
+++ b/src/Data/Expr/SharingRecovery.hs
@@ -4,7 +4,9 @@ module Data.Expr.SharingRecovery (
 
   -- * Expressions
   PHOASExpr(..),
+  typeOfPHOAS,
   BExpr(..),
+  typeOfBExpr,
   Idx(..),
 
   -- * Traversing indexed structures
-- 
cgit v1.2.3-70-g09d2