diff --git a/src/Data/Reify.idr b/src/Data/Reify.idr
new file mode 100644
index 0000000..38c173b
--- /dev/null
+++ b/src/Data/Reify.idr
@@ -0,0 +1,13 @@
+module Data.Reify
+
+%default total
+
+
+public export
+data Reify : a -> Type where
+  MkReify : (x : a) -> Reify x
+
+public export
+getReify : {0 x : a} -> Reify x -> a
+getReify (MkReify x) = x
+