diff --git a/src/Text/Show/PrettyVal/Derive.idr b/src/Text/Show/PrettyVal/Derive.idr
index 0583947..0f640f9 100644
--- a/src/Text/Show/PrettyVal/Derive.idr
+++ b/src/Text/Show/PrettyVal/Derive.idr
@@ -196,6 +196,8 @@ PrettyVal nms p =
 
 %runElab derive "Language.Reflection.TT.FC" [PrettyVal]
 
+%runElab derive "WithFC" [PrettyVal]
+
 %runElab derive "NameType" [PrettyVal]
 
 %runElab derive "PrimType" [PrettyVal]
@@ -243,4 +245,5 @@ PrettyVal nms p =
   , "Record"
   , "Clause"
   , "Decl"
+  , "IClaimData"
   ] [PrettyVal]