diff --git a/Data/Profunctor/Closed.idr b/Data/Profunctor/Closed.idr
new file mode 100644
index 0000000..b656da0
--- /dev/null
+++ b/Data/Profunctor/Closed.idr
@@ -0,0 +1,12 @@
+module Data.Profunctor.Closed
+
+import Data.Profunctor.Types
+import Data.Profunctor.Functor
+import Data.Profunctor.Strong
+
+%default total
+
+
+public export
+interface Profunctor p => Closed p where
+  closed : p a b -> p (x -> a) (x -> b)