diff --git a/Data/Profunctor/Yoneda.idr b/Data/Profunctor/Yoneda.idr
index 0dde348..1809931 100644
--- a/Data/Profunctor/Yoneda.idr
+++ b/Data/Profunctor/Yoneda.idr
@@ -9,3 +9,8 @@ public export
 record Yoneda p a b where
   constructor MkYoneda
   runYoneda : forall x, y. (x -> a) -> (b -> y) -> p x y
+
+
+public export
+data Coyoneda : (p : Type -> Type -> Type) -> Type -> Type -> Type where
+  MkCoyoneda : (a -> x) -> (y -> b) -> p x y -> Coyoneda p a b