1 files changed, 11 insertions, 0 deletions

diff --git a/src/LambdaCube/Compiler/DesugaredSource.hs b/src/LambdaCube/Compiler/DesugaredSource.hs
index 264912ca..d47726d0 100644
--- a/src/LambdaCube/Compiler/DesugaredSource.hs
+++ b/src/LambdaCube/Compiler/DesugaredSource.hs
@@ -276,9 +276,20 @@ data Binder
     | BMeta      -- a metavariable is like a floating hidden lambda
   deriving (Eq)
 
+instance PShow Binder where
+    pShow = \case
+        BPi v -> "BPi" `DApp` pShow v
+        BLam v -> "BLam" `DApp` pShow v
+        BMeta -> "BMeta"
+
 data Visibility = Hidden | Visible
   deriving (Eq)
 
+instance PShow Visibility where
+    pShow = \case
+        Hidden -> "Hidden"
+        Visible -> "Visible"
+
 dummyName s = SIName (debugSI s) ("v_" ++ s)
 dummyName' = SData . dummyName
 sVar = SVar . dummyName