From fec58179c67eab22a45e0883f340b5c0c237e38f Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Mon, 6 Mar 2023 21:42:52 -0500
Subject: [PATCH] Create Data.Profunctor.Yoneda

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

diff --git a/Data/Profunctor/Yoneda.idr b/Data/Profunctor/Yoneda.idr
new file mode 100644
index 0000000..0dde348
--- /dev/null
+++ b/Data/Profunctor/Yoneda.idr
@@ -0,0 +1,11 @@
+module Data.Profunctor.Yoneda
+
+import Data.Profunctor
+
+%default total
+
+
+public export
+record Yoneda p a b where
+  constructor MkYoneda
+  runYoneda : forall x, y. (x -> a) -> (b -> y) -> p x y