From 898087509b7f88e2809cbde2f887ab53344be0d4 Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Mon, 6 Mar 2023 12:31:03 -0500
Subject: [PATCH] Create Data.Profunctor.Closed

---
 Data/Profunctor/Closed.idr | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 Data/Profunctor/Closed.idr

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)