docs/Proarrow-Category-Opposite.html

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml"
><head
  ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
     /><meta name="viewport" content="width=device-width, initial-scale=1"
     /><title
    >Proarrow.Category.Opposite</title
    ><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial"
     /><link rel="stylesheet" type="text/css" href="quick-jump.css"
     /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700"
     /><script src="haddock-bundle.min.js" async="async" type="text/javascript"
    ></script
    ><script type="text/x-mathjax-config"
    >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script
    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
    ></script
    ></head
  ><body
  ><div id="package-header"
    ><span class="caption"
      >proarrow-0: Category theory with a central role for profunctors</span
      ><ul class="links" id="page-menu"
      ><li
	><a href="src/Proarrow.Category.Opposite.html"
	  >Source</a
	  ></li
	><li
	><a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs"
	  >User Comments</a
	  ></li
	><li
	><a href="index.html"
	  >Contents</a
	  ></li
	><li
	><a href="doc-index.html"
	  >Index</a
	  ></li
	></ul
      ></div
    ><div id="content"
    ><div id="module-header"
      ><table class="info"
	><tr
	  ><th
	    >Safe Haskell</th
	    ><td
	    >None</td
	    ></tr
	  ><tr
	  ><th
	    >Language</th
	    ><td
	    >Haskell2010</td
	    ></tr
	  ></table
	><p class="caption"
	>Proarrow.Category.Opposite</p
	></div
      ><div id="interface"
      ><h1
	>Documentation</h1
	><div class="top"
	><p class="src"
	  ><span class="keyword"
	    >newtype</span
	    > <a id="t:OPPOSITE" class="def"
	    >OPPOSITE</a
	    > k <a href="src/Proarrow.Category.Opposite.html#OPPOSITE" class="link"
	    >Source</a
	    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L15" class="link"
	    >Comments</a
	    > <a href="#t:OPPOSITE" class="selflink"
	    >#</a
	    ></p
	  ><div class="subs constructors"
	  ><p class="caption"
	    >Constructors</p
	    ><table
	    ><tr
	      ><td class="src"
		><a id="v:OP" class="def"
		  >OP</a
		  > k</td
		><td class="doc empty"
		>&nbsp;</td
		></tr
	      ></table
	    ></div
	  ><div class="subs instances"
	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:OPPOSITE"
	    >Instances</h4
	    ><details id="i:OPPOSITE" open="open"
	    ><summary class="hide-when-js-enabled"
	      >Instances details</summary
	      ><table
	      ><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Profunctor:1"
		      ></span
		      > <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > <a href="Proarrow-Category-Instance-Cat.html#t:DualUnit" title="Proarrow.Category.Instance.Cat"
		      >DualUnit</a
		      ></span
		    > <a href="src/Proarrow.Category.Instance.Cat.html#line-247" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L247" class="link"
		    >Comments</a
		    > <a href="#t:Profunctor" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Profunctor:1"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Instance-Cat.html"
			>Proarrow.Category.Instance.Cat</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:dimap"
			  >dimap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (c :: ()) (a :: ()) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > ()) (d :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > ()). (c <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a) -&gt; (b <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > d) -&gt; <a href="Proarrow-Category-Instance-Cat.html#t:DualUnit" title="Proarrow.Category.Instance.Cat"
			  >DualUnit</a
			  > a b -&gt; <a href="Proarrow-Category-Instance-Cat.html#t:DualUnit" title="Proarrow.Category.Instance.Cat"
			  >DualUnit</a
			  > c d <a href="src/Proarrow.Core.html#dimap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L38" class="link"
			  >Comments</a
			  > <a href="#v:dimap" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-92--92-"
			  >(\\)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: ()) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > ()) r. ((<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; r) -&gt; <a href="Proarrow-Category-Instance-Cat.html#t:DualUnit" title="Proarrow.Category.Instance.Cat"
			  >DualUnit</a
			  > a b -&gt; r <a href="src/Proarrow.Core.html#%5C%5C" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L39" class="link"
			  >Comments</a
			  > <a href="#v:-92--92-" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Profunctor:2"
		      ></span
		      > <a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > k =&gt; <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > (<a href="Proarrow-Category-Limit.html#t:Hom" title="Proarrow.Category.Limit"
		      >Hom</a
		      > :: () -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Limit.html#line-119" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L119" class="link"
		    >Comments</a
		    > <a href="#t:Profunctor" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Profunctor:2"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Limit.html"
			>Proarrow.Category.Limit</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:dimap"
			  >dimap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (c :: ()) (a :: ()) (b :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k)) (d :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k)). (c <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a) -&gt; (b <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > d) -&gt; <a href="Proarrow-Category-Limit.html#t:Hom" title="Proarrow.Category.Limit"
			  >Hom</a
			  > a b -&gt; <a href="Proarrow-Category-Limit.html#t:Hom" title="Proarrow.Category.Limit"
			  >Hom</a
			  > c d <a href="src/Proarrow.Core.html#dimap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L38" class="link"
			  >Comments</a
			  > <a href="#v:dimap" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-92--92-"
			  >(\\)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: ()) (b :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k)) r. ((<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; r) -&gt; <a href="Proarrow-Category-Limit.html#t:Hom" title="Proarrow.Category.Limit"
			  >Hom</a
			  > a b -&gt; r <a href="src/Proarrow.Core.html#%5C%5C" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L39" class="link"
			  >Comments</a
			  > <a href="#v:-92--92-" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Profunctor:3"
		      ></span
		      > <a href="Proarrow-Object-Exponential.html#t:Closed" title="Proarrow.Object.Exponential"
		      >Closed</a
		      > k =&gt; <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > (<a href="Proarrow-Object-Exponential.html#t:ExponentialFunctor" title="Proarrow.Object.Exponential"
		      >ExponentialFunctor</a
		      > :: k -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Object.Exponential.html#line-88" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L88" class="link"
		    >Comments</a
		    > <a href="#t:Profunctor" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Profunctor:3"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Object-Exponential.html"
			>Proarrow.Object.Exponential</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:dimap"
			  >dimap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (c :: k) (a :: k) (b :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k)) (d :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k)). (c <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a) -&gt; (b <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > d) -&gt; <a href="Proarrow-Object-Exponential.html#t:ExponentialFunctor" title="Proarrow.Object.Exponential"
			  >ExponentialFunctor</a
			  > a b -&gt; <a href="Proarrow-Object-Exponential.html#t:ExponentialFunctor" title="Proarrow.Object.Exponential"
			  >ExponentialFunctor</a
			  > c d <a href="src/Proarrow.Core.html#dimap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L38" class="link"
			  >Comments</a
			  > <a href="#v:dimap" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-92--92-"
			  >(\\)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: k) (b :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k)) r. ((<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; r) -&gt; <a href="Proarrow-Object-Exponential.html#t:ExponentialFunctor" title="Proarrow.Object.Exponential"
			  >ExponentialFunctor</a
			  > a b -&gt; r <a href="src/Proarrow.Core.html#%5C%5C" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L39" class="link"
			  >Comments</a
			  > <a href="#v:-92--92-" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:HasLimits:4"
		      ></span
		      > <a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > k =&gt; <a href="Proarrow-Category-Limit.html#t:HasLimits" title="Proarrow.Category.Limit"
		      >HasLimits</a
		      > (<a href="Proarrow-Category-Limit.html#t:Hom" title="Proarrow.Category.Limit"
		      >Hom</a
		      > :: () -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >) <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      ></span
		    > <a href="src/Proarrow.Category.Limit.html#line-123" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Limit.hs#L123" class="link"
		    >Comments</a
		    > <a href="#t:HasLimits" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:HasLimits:4"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Limit.html"
			>Proarrow.Category.Limit</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:limit"
			  >limit</a
			  > :: <span class="keyword"
			  >forall</span
			  > (d :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k) <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >). <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
			  >Representable</a
			  > d =&gt; (<a href="Proarrow-Category-Limit.html#t:Limit" title="Proarrow.Category.Limit"
			  >Limit</a
			  > (<a href="Proarrow-Category-Limit.html#t:Hom" title="Proarrow.Category.Limit"
			  >Hom</a
			  > :: () -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >) d <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > (<a href="Proarrow-Category-Limit.html#t:Hom" title="Proarrow.Category.Limit"
			  >Hom</a
			  > :: () -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >)) <a href="Proarrow-Core.html#t::-126--62-" title="Proarrow.Core"
			  >:~&gt;</a
			  > d <a href="src/Proarrow.Category.Limit.html#limit" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Limit.hs#L29" class="link"
			  >Comments</a
			  > <a href="#v:limit" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:limitUniv"
			  >limitUniv</a
			  > :: <span class="keyword"
			  >forall</span
			  > (d :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k) <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >) (p :: () <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >). (<a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
			  >Representable</a
			  > d, <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
			  >Representable</a
			  > p) =&gt; ((p <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > (<a href="Proarrow-Category-Limit.html#t:Hom" title="Proarrow.Category.Limit"
			  >Hom</a
			  > :: () -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >)) <a href="Proarrow-Core.html#t::-126--62-" title="Proarrow.Core"
			  >:~&gt;</a
			  > d) -&gt; p <a href="Proarrow-Core.html#t::-126--62-" title="Proarrow.Core"
			  >:~&gt;</a
			  > <a href="Proarrow-Category-Limit.html#t:Limit" title="Proarrow.Category.Limit"
			  >Limit</a
			  > (<a href="Proarrow-Category-Limit.html#t:Hom" title="Proarrow.Category.Limit"
			  >Hom</a
			  > :: () -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >) d <a href="src/Proarrow.Category.Limit.html#limitUniv" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Limit.hs#L30" class="link"
			  >Comments</a
			  > <a href="#v:limitUniv" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Monoidal:5"
		      ></span
		      > <a href="Proarrow-Category-Monoidal.html#t:Monoidal" title="Proarrow.Category.Monoidal"
		      >Monoidal</a
		      > k =&gt; <a href="Proarrow-Category-Monoidal.html#t:Monoidal" title="Proarrow.Category.Monoidal"
		      >Monoidal</a
		      > (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-64" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L64" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Monoidal:5"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs associated-types"
		      ><p class="caption"
			>Associated Types</p
			><table
			><tr
			  ><td class="src clearfix"
			    ><span class="inst-left"
			      ><span class="instance details-toggle-control details-toggle" data-details-id="i:if:D:R:UnitOPPOSITE:Unit:1"
				></span
				> <span class="keyword"
				>type</span
				> <a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
				>Unit</a
				></span
			      ></td
			    ><td class="doc empty"
			    >&nbsp;</td
			    ></tr
			  ><tr
			  ><td colspan="2"
			    ><details id="i:if:D:R:UnitOPPOSITE:Unit:1"
			      ><summary class="hide-when-js-enabled"
				>Instance details</summary
				><p
				>Defined in <a href="Proarrow-Category-Opposite.html"
				  >Proarrow.Category.Opposite</a
				  ></p
				> <div class="src"
				><span class="keyword"
				  >type</span
				  > <a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
				  >Unit</a
				  > = '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
				  >OP</a
				  > (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
				  >Unit</a
				  > :: k)</div
				></details
			      ></td
			    ></tr
			  ></table
			></div
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:withOb2"
			  >withOb2</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) r. (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > b) =&gt; r) -&gt; r <a href="src/Proarrow.Category.Monoidal.html#withOb2" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L21" class="link"
			  >Comments</a
			  > <a href="#v:withOb2" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:leftUnitor"
			  >leftUnitor</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a =&gt; ((<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > a) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a <a href="src/Proarrow.Category.Monoidal.html#leftUnitor" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L22" class="link"
			  >Comments</a
			  > <a href="#v:leftUnitor" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:leftUnitorInv"
			  >leftUnitorInv</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a =&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > a) <a href="src/Proarrow.Category.Monoidal.html#leftUnitorInv" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L23" class="link"
			  >Comments</a
			  > <a href="#v:leftUnitorInv" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:rightUnitor"
			  >rightUnitor</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a =&gt; (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k)) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a <a href="src/Proarrow.Category.Monoidal.html#rightUnitor" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L24" class="link"
			  >Comments</a
			  > <a href="#v:rightUnitor" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:rightUnitorInv"
			  >rightUnitorInv</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a =&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k)) <a href="src/Proarrow.Category.Monoidal.html#rightUnitorInv" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L25" class="link"
			  >Comments</a
			  > <a href="#v:rightUnitorInv" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:associator"
			  >associator</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (c :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > c) =&gt; ((a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > b) <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > c) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > (b <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > c)) <a href="src/Proarrow.Category.Monoidal.html#associator" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L26" class="link"
			  >Comments</a
			  > <a href="#v:associator" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:associatorInv"
			  >associatorInv</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (c :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > c) =&gt; (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > (b <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > c)) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > b) <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > c) <a href="src/Proarrow.Category.Monoidal.html#associatorInv" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L27" class="link"
			  >Comments</a
			  > <a href="#v:associatorInv" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:SymMonoidal:6"
		      ></span
		      > <a href="Proarrow-Category-Monoidal.html#t:SymMonoidal" title="Proarrow.Category.Monoidal"
		      >SymMonoidal</a
		      > k =&gt; <a href="Proarrow-Category-Monoidal.html#t:SymMonoidal" title="Proarrow.Category.Monoidal"
		      >SymMonoidal</a
		      > (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-75" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L75" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:SymMonoidal:6"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:swap"
			  >swap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > b) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (b <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > a) <a href="src/Proarrow.Category.Monoidal.html#swap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L66" class="link"
			  >Comments</a
			  > <a href="#v:swap" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:CategoryOf:7"
		      ></span
		      > <a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > k =&gt; <a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-30" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L30" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc"
		  ><p
		    >The opposite category of the category of <code
		      >k</code
		      >.</p
		    ></td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:CategoryOf:7"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs associated-types"
		      ><p class="caption"
			>Associated Types</p
			><table
			><tr
			  ><td class="src clearfix"
			    ><span class="inst-left"
			      ><span class="instance details-toggle-control details-toggle" data-details-id="i:if:D:R:-126--62-OPPOSITE:-126--62-:1"
				></span
				> <span class="keyword"
				>type</span
				> <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
				>(~&gt;)</a
				></span
			      ></td
			    ><td class="doc empty"
			    >&nbsp;</td
			    ></tr
			  ><tr
			  ><td colspan="2"
			    ><details id="i:if:D:R:-126--62-OPPOSITE:-126--62-:1"
			      ><summary class="hide-when-js-enabled"
				>Instance details</summary
				><p
				>Defined in <a href="Proarrow-Category-Opposite.html"
				  >Proarrow.Category.Opposite</a
				  ></p
				> <div class="src"
				><span class="keyword"
				  >type</span
				  > <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
				  >(~&gt;)</a
				  > = <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
				  >Op</a
				  > (<a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
				  >(~&gt;)</a
				  > :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
				  >CAT</a
				  > k)</div
				></details
			      ></td
			    ></tr
			  ></table
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:HasBinaryCoproducts:8"
		      ></span
		      > <a href="Proarrow-Object-BinaryProduct.html#t:HasBinaryProducts" title="Proarrow.Object.BinaryProduct"
		      >HasBinaryProducts</a
		      > k =&gt; <a href="Proarrow-Object-BinaryCoproduct.html#t:HasBinaryCoproducts" title="Proarrow.Object.BinaryCoproduct"
		      >HasBinaryCoproducts</a
		      > (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-53" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L53" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:HasBinaryCoproducts:8"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:withObCoprod"
			  >withObCoprod</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) r. (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > (a <a href="Proarrow-Object-BinaryCoproduct.html#t:-124--124-" title="Proarrow.Object.BinaryCoproduct"
			  >||</a
			  > b) =&gt; r) -&gt; r <a href="src/Proarrow.Object.BinaryCoproduct.html#withObCoprod" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Object/BinaryCoproduct.hs#L25" class="link"
			  >Comments</a
			  > <a href="#v:withObCoprod" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:lft"
			  >lft</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (a <a href="Proarrow-Object-BinaryCoproduct.html#t:-124--124-" title="Proarrow.Object.BinaryCoproduct"
			  >||</a
			  > b) <a href="src/Proarrow.Object.BinaryCoproduct.html#lft" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Object/BinaryCoproduct.hs#L26" class="link"
			  >Comments</a
			  > <a href="#v:lft" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:rgt"
			  >rgt</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; b <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (a <a href="Proarrow-Object-BinaryCoproduct.html#t:-124--124-" title="Proarrow.Object.BinaryCoproduct"
			  >||</a
			  > b) <a href="src/Proarrow.Object.BinaryCoproduct.html#rgt" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Object/BinaryCoproduct.hs#L27" class="link"
			  >Comments</a
			  > <a href="#v:rgt" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-124--124--124-"
			  >(|||)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (x :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (y :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (x <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a) -&gt; (y <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a) -&gt; (x <a href="Proarrow-Object-BinaryCoproduct.html#t:-124--124-" title="Proarrow.Object.BinaryCoproduct"
			  >||</a
			  > y) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a <a href="src/Proarrow.Object.BinaryCoproduct.html#%7C%7C%7C" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Object/BinaryCoproduct.hs#L28" class="link"
			  >Comments</a
			  > <a href="#v:-124--124--124-" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-43--43--43-"
			  >(+++)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (x :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (y :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > x) -&gt; (b <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > y) -&gt; (a <a href="Proarrow-Object-BinaryCoproduct.html#t:-124--124-" title="Proarrow.Object.BinaryCoproduct"
			  >||</a
			  > b) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (x <a href="Proarrow-Object-BinaryCoproduct.html#t:-124--124-" title="Proarrow.Object.BinaryCoproduct"
			  >||</a
			  > y) <a href="src/Proarrow.Object.BinaryCoproduct.html#%2B%2B%2B" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Object/BinaryCoproduct.hs#L29" class="link"
			  >Comments</a
			  > <a href="#v:-43--43--43-" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:HasBinaryProducts:9"
		      ></span
		      > <a href="Proarrow-Object-BinaryCoproduct.html#t:HasBinaryCoproducts" title="Proarrow.Object.BinaryCoproduct"
		      >HasBinaryCoproducts</a
		      > k =&gt; <a href="Proarrow-Object-BinaryProduct.html#t:HasBinaryProducts" title="Proarrow.Object.BinaryProduct"
		      >HasBinaryProducts</a
		      > (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-46" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L46" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:HasBinaryProducts:9"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:withObProd"
			  >withObProd</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) r. (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > (a <a href="Proarrow-Object-BinaryProduct.html#t:-38--38-" title="Proarrow.Object.BinaryProduct"
			  >&amp;&amp;</a
			  > b) =&gt; r) -&gt; r <a href="src/Proarrow.Object.BinaryProduct.html#withObProd" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Object/BinaryProduct.hs#L32" class="link"
			  >Comments</a
			  > <a href="#v:withObProd" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:fst"
			  >fst</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; (a <a href="Proarrow-Object-BinaryProduct.html#t:-38--38-" title="Proarrow.Object.BinaryProduct"
			  >&amp;&amp;</a
			  > b) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a <a href="src/Proarrow.Object.BinaryProduct.html#fst" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Object/BinaryProduct.hs#L33" class="link"
			  >Comments</a
			  > <a href="#v:fst" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:snd"
			  >snd</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; (a <a href="Proarrow-Object-BinaryProduct.html#t:-38--38-" title="Proarrow.Object.BinaryProduct"
			  >&amp;&amp;</a
			  > b) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b <a href="src/Proarrow.Object.BinaryProduct.html#snd" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Object/BinaryProduct.hs#L34" class="link"
			  >Comments</a
			  > <a href="#v:snd" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-38--38--38-"
			  >(&amp;&amp;&amp;)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (x :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (y :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > x) -&gt; (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > y) -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (x <a href="Proarrow-Object-BinaryProduct.html#t:-38--38-" title="Proarrow.Object.BinaryProduct"
			  >&amp;&amp;</a
			  > y) <a href="src/Proarrow.Object.BinaryProduct.html#%26%26%26" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Object/BinaryProduct.hs#L35" class="link"
			  >Comments</a
			  > <a href="#v:-38--38--38-" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-42--42--42-"
			  >(***)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (x :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (y :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > x) -&gt; (b <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > y) -&gt; (a <a href="Proarrow-Object-BinaryProduct.html#t:-38--38-" title="Proarrow.Object.BinaryProduct"
			  >&amp;&amp;</a
			  > b) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (x <a href="Proarrow-Object-BinaryProduct.html#t:-38--38-" title="Proarrow.Object.BinaryProduct"
			  >&amp;&amp;</a
			  > y) <a href="src/Proarrow.Object.BinaryProduct.html#%2A%2A%2A" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Object/BinaryProduct.hs#L36" class="link"
			  >Comments</a
			  > <a href="#v:-42--42--42-" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:HasInitialObject:10"
		      ></span
		      > <a href="Proarrow-Object-Terminal.html#t:HasTerminalObject" title="Proarrow.Object.Terminal"
		      >HasTerminalObject</a
		      > k =&gt; <a href="Proarrow-Object-Initial.html#t:HasInitialObject" title="Proarrow.Object.Initial"
		      >HasInitialObject</a
		      > (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-42" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L42" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:HasInitialObject:10"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs associated-types"
		      ><p class="caption"
			>Associated Types</p
			><table
			><tr
			  ><td class="src clearfix"
			    ><span class="inst-left"
			      ><span class="instance details-toggle-control details-toggle" data-details-id="i:if:D:R:InitialObjectOPPOSITE:InitialObject:1"
				></span
				> <span class="keyword"
				>type</span
				> <a href="Proarrow-Object-Initial.html#t:InitialObject" title="Proarrow.Object.Initial"
				>InitialObject</a
				></span
			      ></td
			    ><td class="doc empty"
			    >&nbsp;</td
			    ></tr
			  ><tr
			  ><td colspan="2"
			    ><details id="i:if:D:R:InitialObjectOPPOSITE:InitialObject:1"
			      ><summary class="hide-when-js-enabled"
				>Instance details</summary
				><p
				>Defined in <a href="Proarrow-Category-Opposite.html"
				  >Proarrow.Category.Opposite</a
				  ></p
				> <div class="src"
				><span class="keyword"
				  >type</span
				  > <a href="Proarrow-Object-Initial.html#t:InitialObject" title="Proarrow.Object.Initial"
				  >InitialObject</a
				  > = '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
				  >OP</a
				  > (<a href="Proarrow-Object-Terminal.html#t:TerminalObject" title="Proarrow.Object.Terminal"
				  >TerminalObject</a
				  > :: k)</div
				></details
			      ></td
			    ></tr
			  ></table
			></div
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:initiate"
			  >initiate</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a =&gt; (<a href="Proarrow-Object-Initial.html#t:InitialObject" title="Proarrow.Object.Initial"
			  >InitialObject</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a <a href="src/Proarrow.Object.Initial.html#initiate" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Object/Initial.hs#L15" class="link"
			  >Comments</a
			  > <a href="#v:initiate" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:initiate-39-"
			  >initiate'</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a' :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (a' <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a) -&gt; (<a href="Proarrow-Object-Initial.html#t:InitialObject" title="Proarrow.Object.Initial"
			  >InitialObject</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a <a href="src/Proarrow.Object.Initial.html#initiate%27" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Object/Initial.hs#L17" class="link"
			  >Comments</a
			  > <a href="#v:initiate-39-" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:HasTerminalObject:11"
		      ></span
		      > <a href="Proarrow-Object-Initial.html#t:HasInitialObject" title="Proarrow.Object.Initial"
		      >HasInitialObject</a
		      > k =&gt; <a href="Proarrow-Object-Terminal.html#t:HasTerminalObject" title="Proarrow.Object.Terminal"
		      >HasTerminalObject</a
		      > (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-38" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L38" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:HasTerminalObject:11"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs associated-types"
		      ><p class="caption"
			>Associated Types</p
			><table
			><tr
			  ><td class="src clearfix"
			    ><span class="inst-left"
			      ><span class="instance details-toggle-control details-toggle" data-details-id="i:if:D:R:TerminalObjectOPPOSITE:TerminalObject:1"
				></span
				> <span class="keyword"
				>type</span
				> <a href="Proarrow-Object-Terminal.html#t:TerminalObject" title="Proarrow.Object.Terminal"
				>TerminalObject</a
				></span
			      ></td
			    ><td class="doc empty"
			    >&nbsp;</td
			    ></tr
			  ><tr
			  ><td colspan="2"
			    ><details id="i:if:D:R:TerminalObjectOPPOSITE:TerminalObject:1"
			      ><summary class="hide-when-js-enabled"
				>Instance details</summary
				><p
				>Defined in <a href="Proarrow-Category-Opposite.html"
				  >Proarrow.Category.Opposite</a
				  ></p
				> <div class="src"
				><span class="keyword"
				  >type</span
				  > <a href="Proarrow-Object-Terminal.html#t:TerminalObject" title="Proarrow.Object.Terminal"
				  >TerminalObject</a
				  > = '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
				  >OP</a
				  > (<a href="Proarrow-Object-Initial.html#t:InitialObject" title="Proarrow.Object.Initial"
				  >InitialObject</a
				  > :: k)</div
				></details
			      ></td
			    ></tr
			  ></table
			></div
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:terminate"
			  >terminate</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a =&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Object-Terminal.html#t:TerminalObject" title="Proarrow.Object.Terminal"
			  >TerminalObject</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) <a href="src/Proarrow.Object.Terminal.html#terminate" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Object/Terminal.hs#L13" class="link"
			  >Comments</a
			  > <a href="#v:terminate" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:terminate-39-"
			  >terminate'</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (a' :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a') -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Object-Terminal.html#t:TerminalObject" title="Proarrow.Object.Terminal"
			  >TerminalObject</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) <a href="src/Proarrow.Object.Terminal.html#terminate%27" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Object/Terminal.hs#L15" class="link"
			  >Comments</a
			  > <a href="#v:terminate-39-" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Functor:12"
		      ></span
		      > <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > p =&gt; <a href="Proarrow-Functor.html#t:Functor" title="Proarrow.Functor"
		      >Functor</a
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-22" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L22" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Functor:12"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:map"
			  >map</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a0 :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (a0 <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a a0 <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a b <a href="src/Proarrow.Functor.html#map" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Functor.hs#L18" class="link"
			  >Comments</a
			  > <a href="#v:map" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:MonoidalAction:13"
		      ></span
		      > <a href="Proarrow-Category-Monoidal-Action.html#t:MonoidalAction" title="Proarrow.Category.Monoidal.Action"
		      >MonoidalAction</a
		      > m k =&gt; <a href="Proarrow-Category-Monoidal-Action.html#t:MonoidalAction" title="Proarrow.Category.Monoidal.Action"
		      >MonoidalAction</a
		      > (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > m) (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-107" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L107" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:MonoidalAction:13"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:unitor"
			  >unitor</a
			  > :: <span class="keyword"
			  >forall</span
			  > (x :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > x =&gt; <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > m) x <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > x <a href="src/Proarrow.Category.Monoidal.Action.html#unitor" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal/Action.hs#L19" class="link"
			  >Comments</a
			  > <a href="#v:unitor" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:unitorInv"
			  >unitorInv</a
			  > :: <span class="keyword"
			  >forall</span
			  > (x :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > x =&gt; x <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > m) x <a href="src/Proarrow.Category.Monoidal.Action.html#unitorInv" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal/Action.hs#L20" class="link"
			  >Comments</a
			  > <a href="#v:unitorInv" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:multiplicator"
			  >multiplicator</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > m) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > m) (x :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > x) =&gt; <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > a (<a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > b x) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > b) x <a href="src/Proarrow.Category.Monoidal.Action.html#multiplicator" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal/Action.hs#L21" class="link"
			  >Comments</a
			  > <a href="#v:multiplicator" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:multiplicatorInv"
			  >multiplicatorInv</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > m) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > m) (x :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > x) =&gt; <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > b) x <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > a (<a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > b x) <a href="src/Proarrow.Category.Monoidal.Action.html#multiplicatorInv" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal/Action.hs#L22" class="link"
			  >Comments</a
			  > <a href="#v:multiplicatorInv" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Strong:14"
		      ></span
		      > <a href="Proarrow-Category-Monoidal-Action.html#t:Strong" title="Proarrow.Category.Monoidal.Action"
		      >Strong</a
		      > k2 p =&gt; <a href="Proarrow-Category-Monoidal-Action.html#t:Strong" title="Proarrow.Category.Monoidal.Action"
		      >Strong</a
		      > (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k2) (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k1 -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-105" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L105" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Strong:14"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:act"
			  >act</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k2) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k2) (x :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (y :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k1). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p x y -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p (<a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > a x) (<a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > b y) <a href="src/Proarrow.Category.Monoidal.Action.html#act" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal/Action.hs#L14" class="link"
			  >Comments</a
			  > <a href="#v:act" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:MonoidalProfunctor:15"
		      ></span
		      > <a href="Proarrow-Category-Monoidal.html#t:MonoidalProfunctor" title="Proarrow.Category.Monoidal"
		      >MonoidalProfunctor</a
		      > p =&gt; <a href="Proarrow-Category-Monoidal.html#t:MonoidalProfunctor" title="Proarrow.Category.Monoidal"
		      >MonoidalProfunctor</a
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-60" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L60" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:MonoidalProfunctor:15"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:par0"
			  >par0</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) <a href="src/Proarrow.Category.Monoidal.html#par0" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L14" class="link"
			  >Comments</a
			  > <a href="#v:par0" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:par"
			  >par</a
			  > :: <span class="keyword"
			  >forall</span
			  > (x1 :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (x2 :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (y1 :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (y2 :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p x1 x2 -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p y1 y2 -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p (x1 <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > y1) (x2 <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > y2) <a href="src/Proarrow.Category.Monoidal.html#par" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L15" class="link"
			  >Comments</a
			  > <a href="#v:par" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Profunctor:16"
		      ></span
		      > <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > p =&gt; <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-25" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L25" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Profunctor:16"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:dimap"
			  >dimap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (c :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (d :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (c <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a) -&gt; (b <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > d) -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a b -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p c d <a href="src/Proarrow.Core.html#dimap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L38" class="link"
			  >Comments</a
			  > <a href="#v:dimap" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-92--92-"
			  >(\\)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) r. ((<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; r) -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a b -&gt; r <a href="src/Proarrow.Core.html#%5C%5C" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L39" class="link"
			  >Comments</a
			  > <a href="#v:-92--92-" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Corepresentable:17"
		      ></span
		      > <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > p =&gt; <a href="Proarrow-Profunctor-Corepresentable.html#t:Corepresentable" title="Proarrow.Profunctor.Corepresentable"
		      >Corepresentable</a
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-86" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L86" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Corepresentable:17"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:coindex"
			  >coindex</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a b -&gt; (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Corepresentable.html#t:-37--37-" title="Proarrow.Profunctor.Corepresentable"
			  >%%</a
			  > a) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b <a href="src/Proarrow.Profunctor.Corepresentable.html#coindex" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Corepresentable.hs#L15" class="link"
			  >Comments</a
			  > <a href="#v:coindex" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:cotabulate"
			  >cotabulate</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a =&gt; ((<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Corepresentable.html#t:-37--37-" title="Proarrow.Profunctor.Corepresentable"
			  >%%</a
			  > a) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a b <a href="src/Proarrow.Profunctor.Corepresentable.html#cotabulate" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Corepresentable.hs#L16" class="link"
			  >Comments</a
			  > <a href="#v:cotabulate" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:corepMap"
			  >corepMap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Corepresentable.html#t:-37--37-" title="Proarrow.Profunctor.Corepresentable"
			  >%%</a
			  > a) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Corepresentable.html#t:-37--37-" title="Proarrow.Profunctor.Corepresentable"
			  >%%</a
			  > b) <a href="src/Proarrow.Profunctor.Corepresentable.html#corepMap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Corepresentable.hs#L17" class="link"
			  >Comments</a
			  > <a href="#v:corepMap" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Representable:18"
		      ></span
		      > <a href="Proarrow-Profunctor-Corepresentable.html#t:Corepresentable" title="Proarrow.Profunctor.Corepresentable"
		      >Corepresentable</a
		      > p =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-92" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L92" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Representable:18"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b) <a href="src/Proarrow.Profunctor.Representable.html#index" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L16" class="link"
			  >Comments</a
			  > <a href="#v:index" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:tabulate"
			  >tabulate</a
			  > :: <span class="keyword"
			  >forall</span
			  > (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b =&gt; (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a b <a href="src/Proarrow.Profunctor.Representable.html#tabulate" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L17" class="link"
			  >Comments</a
			  > <a href="#v:tabulate" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:repMap"
			  >repMap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > a) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b) <a href="src/Proarrow.Profunctor.Representable.html#repMap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L18" class="link"
			  >Comments</a
			  > <a href="#v:repMap" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Adjunction:19"
		      ></span
		      > <a href="Proarrow-Adjunction.html#t:Adjunction" title="Proarrow.Adjunction"
		      >Adjunction</a
		      > q p =&gt; <a href="Proarrow-Adjunction.html#t:Adjunction" title="Proarrow.Adjunction"
		      >Adjunction</a
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >) (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > q :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Adjunction.html#line-82" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L82" class="link"
		    >Comments</a
		    > <a href="#t:Adjunction" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Adjunction:19"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Adjunction.html"
			>Proarrow.Adjunction</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:unit"
			  >unit</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a =&gt; (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > q <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p) a a <a href="src/Proarrow.Adjunction.html#unit" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L24" class="link"
			  >Comments</a
			  > <a href="#v:unit" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:counit"
			  >counit</a
			  > :: (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > q) <a href="Proarrow-Core.html#t::-126--62-" title="Proarrow.Core"
			  >:~&gt;</a
			  > (<a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >(~&gt;)</a
			  > :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
			  >CAT</a
			  > (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k)) <a href="src/Proarrow.Adjunction.html#counit" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L25" class="link"
			  >Comments</a
			  > <a href="#v:counit" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Comonoid:20"
		      ></span
		      > <a href="Proarrow-Monoid.html#t:Monoid" title="Proarrow.Monoid"
		      >Monoid</a
		      > c =&gt; <a href="Proarrow-Monoid.html#t:Comonoid" title="Proarrow.Monoid"
		      >Comonoid</a
		      > ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
		      >OP</a
		      > c :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-82" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L82" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Comonoid:20"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:counit"
			  >counit</a
			  > :: '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			  >OP</a
			  > c <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) <a href="src/Proarrow.Monoid.html#counit" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Monoid.hs#L48" class="link"
			  >Comments</a
			  > <a href="#v:counit" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:comult"
			  >comult</a
			  > :: '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			  >OP</a
			  > c <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			  >OP</a
			  > c <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			  >OP</a
			  > c) <a href="src/Proarrow.Monoid.html#comult" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Monoid.hs#L49" class="link"
			  >Comments</a
			  > <a href="#v:comult" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Monoid:21"
		      ></span
		      > <a href="Proarrow-Monoid.html#t:Comonoid" title="Proarrow.Monoid"
		      >Comonoid</a
		      > c =&gt; <a href="Proarrow-Monoid.html#t:Monoid" title="Proarrow.Monoid"
		      >Monoid</a
		      > ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
		      >OP</a
		      > c :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-78" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L78" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Monoid:21"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:mempty"
			  >mempty</a
			  > :: (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			  >OP</a
			  > c <a href="src/Proarrow.Monoid.html#mempty" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Monoid.hs#L18" class="link"
			  >Comments</a
			  > <a href="#v:mempty" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:mappend"
			  >mappend</a
			  > :: ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			  >OP</a
			  > c <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			  >OP</a
			  > c) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			  >OP</a
			  > c <a href="src/Proarrow.Monoid.html#mappend" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Monoid.hs#L19" class="link"
			  >Comments</a
			  > <a href="#v:mappend" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Functor:22"
		      ></span
		      > <a href="Proarrow-Category-Monoidal-Action.html#t:MonoidalAction" title="Proarrow.Category.Monoidal.Action"
		      >MonoidalAction</a
		      > m k =&gt; <a href="Proarrow-Functor.html#t:Functor" title="Proarrow.Functor"
		      >Functor</a
		      > (<a href="Proarrow-Promonad-Reader.html#t:Reader" title="Proarrow.Promonad.Reader"
		      >Reader</a
		      > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > m -&gt; k -&gt; k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Promonad.Reader.html#line-31" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Functor.hs#L31" class="link"
		    >Comments</a
		    > <a href="#t:Functor" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Functor:22"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Promonad-Reader.html"
			>Proarrow.Promonad.Reader</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:map"
			  >map</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > m) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > m). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Promonad-Reader.html#t:Reader" title="Proarrow.Promonad.Reader"
			  >Reader</a
			  > a :: k -&gt; k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Promonad-Reader.html#t:Reader" title="Proarrow.Promonad.Reader"
			  >Reader</a
			  > b :: k -&gt; k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >) <a href="src/Proarrow.Functor.html#map" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Functor.hs#L18" class="link"
			  >Comments</a
			  > <a href="#v:map" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Functor:23"
		      ></span
		      > <a href="Proarrow-Functor.html#t:Functor" title="Proarrow.Functor"
		      >Functor</a
		      > (<a href="Proarrow-Profunctor-Ran.html#t:Ran" title="Proarrow.Profunctor.Ran"
		      >Ran</a
		      > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > (i <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
		      >+-&gt;</a
		      > j) -&gt; (i <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
		      >+-&gt;</a
		      > k) -&gt; k -&gt; j -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Profunctor.Ran.html#line-41" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Functor.hs#L41" class="link"
		    >Comments</a
		    > <a href="#t:Functor" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Functor:23"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Ran.html"
			>Proarrow.Profunctor.Ran</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:map"
			  >map</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > (i <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > j)) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > (i <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > j)). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Profunctor-Ran.html#t:Ran" title="Proarrow.Profunctor.Ran"
			  >Ran</a
			  > a :: (i <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > k) -&gt; k -&gt; j -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Profunctor-Ran.html#t:Ran" title="Proarrow.Profunctor.Ran"
			  >Ran</a
			  > b :: (i <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > k) -&gt; k -&gt; j -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >) <a href="src/Proarrow.Functor.html#map" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Functor.hs#L18" class="link"
			  >Comments</a
			  > <a href="#v:map" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Functor:24"
		      ></span
		      > <a href="Proarrow-Functor.html#t:Functor" title="Proarrow.Functor"
		      >Functor</a
		      > (<a href="Proarrow-Profunctor-Rift.html#t:Rift" title="Proarrow.Profunctor.Rift"
		      >Rift</a
		      > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > (k <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
		      >+-&gt;</a
		      > i) -&gt; (j <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
		      >+-&gt;</a
		      > i) -&gt; k -&gt; j -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Profunctor.Rift.html#line-39" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Functor.hs#L39" class="link"
		    >Comments</a
		    > <a href="#t:Functor" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Functor:24"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Rift.html"
			>Proarrow.Profunctor.Rift</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:map"
			  >map</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > (k <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > i)) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > (k <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > i)). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Profunctor-Rift.html#t:Rift" title="Proarrow.Profunctor.Rift"
			  >Rift</a
			  > a :: (j <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > i) -&gt; k -&gt; j -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Profunctor-Rift.html#t:Rift" title="Proarrow.Profunctor.Rift"
			  >Rift</a
			  > b :: (j <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > i) -&gt; k -&gt; j -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >) <a href="src/Proarrow.Functor.html#map" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Functor.hs#L18" class="link"
			  >Comments</a
			  > <a href="#v:map" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Promonad:25"
		      ></span
		      > <a href="Proarrow-Core.html#t:Promonad" title="Proarrow.Core"
		      >Promonad</a
		      > c =&gt; <a href="Proarrow-Core.html#t:Promonad" title="Proarrow.Core"
		      >Promonad</a
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > c :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-34" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L34" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Promonad:25"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:id"
			  >id</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a =&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > c a a <a href="src/Proarrow.Core.html#id" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L56" class="link"
			  >Comments</a
			  > <a href="#v:id" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:."
			  >(.)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (c0 :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j). <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > c b c0 -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > c a b -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > c a c0 <a href="src/Proarrow.Core.html#." class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L57" class="link"
			  >Comments</a
			  > <a href="#v:." class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Representable:26"
		      ></span
		      > <a href="Proarrow-Object-Exponential.html#t:Closed" title="Proarrow.Object.Exponential"
		      >Closed</a
		      > k =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Object-Exponential.html#t:ExponentialFunctor" title="Proarrow.Object.Exponential"
		      >ExponentialFunctor</a
		      > :: k -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Object.Exponential.html#line-92" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L92" class="link"
		    >Comments</a
		    > <a href="#t:Representable" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Representable:26"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Object-Exponential.html"
			>Proarrow.Object.Exponential</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: k) (b :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k)). <a href="Proarrow-Object-Exponential.html#t:ExponentialFunctor" title="Proarrow.Object.Exponential"
			  >ExponentialFunctor</a
			  > a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((<a href="Proarrow-Object-Exponential.html#t:ExponentialFunctor" title="Proarrow.Object.Exponential"
			  >ExponentialFunctor</a
			  > :: k -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b) <a href="src/Proarrow.Profunctor.Representable.html#index" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L16" class="link"
			  >Comments</a
			  > <a href="#v:index" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:tabulate"
			  >tabulate</a
			  > :: <span class="keyword"
			  >forall</span
			  > (b :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k)) (a :: k). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b =&gt; (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((<a href="Proarrow-Object-Exponential.html#t:ExponentialFunctor" title="Proarrow.Object.Exponential"
			  >ExponentialFunctor</a
			  > :: k -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Object-Exponential.html#t:ExponentialFunctor" title="Proarrow.Object.Exponential"
			  >ExponentialFunctor</a
			  > a b <a href="src/Proarrow.Profunctor.Representable.html#tabulate" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L17" class="link"
			  >Comments</a
			  > <a href="#v:tabulate" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:repMap"
			  >repMap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k)) (b :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k)). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; ((<a href="Proarrow-Object-Exponential.html#t:ExponentialFunctor" title="Proarrow.Object.Exponential"
			  >ExponentialFunctor</a
			  > :: k -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > a) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((<a href="Proarrow-Object-Exponential.html#t:ExponentialFunctor" title="Proarrow.Object.Exponential"
			  >ExponentialFunctor</a
			  > :: k -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b) <a href="src/Proarrow.Profunctor.Representable.html#repMap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L18" class="link"
			  >Comments</a
			  > <a href="#v:repMap" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Profunctor:27"
		      ></span
		      > (<a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > p, <a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > i, <a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > j) =&gt; <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > (<a href="Proarrow-Category-Instance-Cat.html#t:Curry" title="Proarrow.Category.Instance.Cat"
		      >Curry</a
		      > p :: (k, <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j) -&gt; i -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Instance.Cat.html#line-213" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L213" class="link"
		    >Comments</a
		    > <a href="#t:Profunctor" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Profunctor:27"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Instance-Cat.html"
			>Proarrow.Category.Instance.Cat</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:dimap"
			  >dimap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (c :: (k, <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j)) (a :: (k, <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j)) (b :: i) (d :: i). (c <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a) -&gt; (b <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > d) -&gt; <a href="Proarrow-Category-Instance-Cat.html#t:Curry" title="Proarrow.Category.Instance.Cat"
			  >Curry</a
			  > p a b -&gt; <a href="Proarrow-Category-Instance-Cat.html#t:Curry" title="Proarrow.Category.Instance.Cat"
			  >Curry</a
			  > p c d <a href="src/Proarrow.Core.html#dimap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L38" class="link"
			  >Comments</a
			  > <a href="#v:dimap" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-92--92-"
			  >(\\)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: (k, <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j)) (b :: i) r. ((<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; r) -&gt; <a href="Proarrow-Category-Instance-Cat.html#t:Curry" title="Proarrow.Category.Instance.Cat"
			  >Curry</a
			  > p a b -&gt; r <a href="src/Proarrow.Core.html#%5C%5C" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L39" class="link"
			  >Comments</a
			  > <a href="#v:-92--92-" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Profunctor:28"
		      ></span
		      > (<a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > j, <a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > k) =&gt; <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > (<a href="Proarrow-Category-Instance-Cat.html#t:DistribDual" title="Proarrow.Category.Instance.Cat"
		      >DistribDual</a
		      > :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j, <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k) -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > (j, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Instance.Cat.html#line-240" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L240" class="link"
		    >Comments</a
		    > <a href="#t:Profunctor" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Profunctor:28"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Instance-Cat.html"
			>Proarrow.Category.Instance.Cat</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:dimap"
			  >dimap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (c :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j, <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k)) (a :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j, <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k)) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > (j, k)) (d :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > (j, k)). (c <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a) -&gt; (b <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > d) -&gt; <a href="Proarrow-Category-Instance-Cat.html#t:DistribDual" title="Proarrow.Category.Instance.Cat"
			  >DistribDual</a
			  > a b -&gt; <a href="Proarrow-Category-Instance-Cat.html#t:DistribDual" title="Proarrow.Category.Instance.Cat"
			  >DistribDual</a
			  > c d <a href="src/Proarrow.Core.html#dimap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L38" class="link"
			  >Comments</a
			  > <a href="#v:dimap" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-92--92-"
			  >(\\)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j, <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k)) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > (j, k)) r. ((<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; r) -&gt; <a href="Proarrow-Category-Instance-Cat.html#t:DistribDual" title="Proarrow.Category.Instance.Cat"
			  >DistribDual</a
			  > a b -&gt; r <a href="src/Proarrow.Core.html#%5C%5C" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L39" class="link"
			  >Comments</a
			  > <a href="#v:-92--92-" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:UN:29"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > <a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
		      >UN</a
		      > ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
		      >OP</a
		      > :: j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j) ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
		      >OP</a
		      > k :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-16" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L16" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:UN:29"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> <a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> :: j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> j) ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> k :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> j) = k</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Unit:30"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > <a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
		      >Unit</a
		      ></span
		    > <a href="src/Proarrow.Category.Opposite.html#line-65" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L65" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Unit:30"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> <a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			>Unit</a
			> = '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			>Unit</a
			> :: k)</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:-126--62-:31"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
		      >(~&gt;)</a
		      ></span
		    > <a href="src/Proarrow.Category.Opposite.html#line-31" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L31" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:-126--62-:31"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			>(~&gt;)</a
			> = <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			>Op</a
			> (<a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			>(~&gt;)</a
			> :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
			>CAT</a
			> k)</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:InitialObject:32"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > <a href="Proarrow-Object-Initial.html#t:InitialObject" title="Proarrow.Object.Initial"
		      >InitialObject</a
		      ></span
		    > <a href="src/Proarrow.Category.Opposite.html#line-43" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L43" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:InitialObject:32"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> <a href="Proarrow-Object-Initial.html#t:InitialObject" title="Proarrow.Object.Initial"
			>InitialObject</a
			> = '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> (<a href="Proarrow-Object-Terminal.html#t:TerminalObject" title="Proarrow.Object.Terminal"
			>TerminalObject</a
			> :: k)</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:TerminalObject:33"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > <a href="Proarrow-Object-Terminal.html#t:TerminalObject" title="Proarrow.Object.Terminal"
		      >TerminalObject</a
		      ></span
		    > <a href="src/Proarrow.Category.Opposite.html#line-39" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L39" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:TerminalObject:33"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> <a href="Proarrow-Object-Terminal.html#t:TerminalObject" title="Proarrow.Object.Terminal"
			>TerminalObject</a
			> = '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> (<a href="Proarrow-Object-Initial.html#t:InitialObject" title="Proarrow.Object.Initial"
			>InitialObject</a
			> :: k)</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Ob:34"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
		      >Ob</a
		      > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-32" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L32" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Ob:34"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			>Ob</a
			> (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) = (<a href="Proarrow-Core.html#t:Is" title="Proarrow.Core"
			>Is</a
			> ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> :: k -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			>Ob</a
			> (<a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> :: k -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) a))</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:-42--42-:35"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k) <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
		      >**</a
		      > (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-66" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L66" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:-42--42-:35"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			>**</a
			> (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) = '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> (<a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> :: k -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			>**</a
			> <a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> :: k -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) b)</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:-124--124-:36"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k) <a href="Proarrow-Object-BinaryCoproduct.html#t:-124--124-" title="Proarrow.Object.BinaryCoproduct"
		      >||</a
		      > (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-54" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L54" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:-124--124-:36"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) <a href="Proarrow-Object-BinaryCoproduct.html#t:-124--124-" title="Proarrow.Object.BinaryCoproduct"
			>||</a
			> (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) = '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> (<a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> :: k -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) a <a href="Proarrow-Object-BinaryProduct.html#t:-38--38-" title="Proarrow.Object.BinaryProduct"
			>&amp;&amp;</a
			> <a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> :: k -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) b)</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:-38--38-:37"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k) <a href="Proarrow-Object-BinaryProduct.html#t:-38--38-" title="Proarrow.Object.BinaryProduct"
		      >&amp;&amp;</a
		      > (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-47" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L47" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:-38--38-:37"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) <a href="Proarrow-Object-BinaryProduct.html#t:-38--38-" title="Proarrow.Object.BinaryProduct"
			>&amp;&amp;</a
			> (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) = '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> (<a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> :: k -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) a <a href="Proarrow-Object-BinaryCoproduct.html#t:-124--124-" title="Proarrow.Object.BinaryCoproduct"
			>||</a
			> <a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> :: k -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) b)</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Act:38"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
		      >Act</a
		      > ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
		      >OP</a
		      > a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > m) ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
		      >OP</a
		      > b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-108" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L108" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Act:38"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			>Act</a
			> ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> m) ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) = '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> (<a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			>Act</a
			> a b)</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:-37--37-:39"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >) <a href="Proarrow-Profunctor-Corepresentable.html#t:-37--37-" title="Proarrow.Profunctor.Corepresentable"
		      >%%</a
		      > ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
		      >OP</a
		      > a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-87" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L87" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:-37--37-:39"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			>Op</a
			> p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			>Type</a
			>) <a href="Proarrow-Profunctor-Corepresentable.html#t:-37--37-" title="Proarrow.Profunctor.Corepresentable"
			>%%</a
			> ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> j) = '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> (p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			>%</a
			> a)</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:-37-:40"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
		      >%</a
		      > ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
		      >OP</a
		      > a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-93" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L93" class="link"
		    >Comments</a
		    > <a href="#t:OPPOSITE" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:-37-:40"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			>Op</a
			> p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			>Type</a
			>) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			>%</a
			> ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) = '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> (p <a href="Proarrow-Profunctor-Corepresentable.html#t:-37--37-" title="Proarrow.Profunctor.Corepresentable"
			>%%</a
			> a)</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:Limit:41"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > <a href="Proarrow-Category-Limit.html#t:Limit" title="Proarrow.Category.Limit"
		      >Limit</a
		      > (<a href="Proarrow-Category-Limit.html#t:Hom" title="Proarrow.Category.Limit"
		      >Hom</a
		      > :: () -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >) (d :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k, k) <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
		      >+-&gt;</a
		      > <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Limit.html#line-124" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Limit.hs#L124" class="link"
		    >Comments</a
		    > <a href="#t:Limit" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:Limit:41"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Limit.html"
			>Proarrow.Category.Limit</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> <a href="Proarrow-Category-Limit.html#t:Limit" title="Proarrow.Category.Limit"
			>Limit</a
			> (<a href="Proarrow-Category-Limit.html#t:Hom" title="Proarrow.Category.Limit"
			>Hom</a
			> :: () -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			>Type</a
			>) (d :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k, k) <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			>+-&gt;</a
			> <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			>Type</a
			>) = <a href="Proarrow-Category-Limit.html#t:EndLimit" title="Proarrow.Category.Limit"
			>EndLimit</a
			> d</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:OPPOSITE:-37-:42"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (<a href="Proarrow-Object-Exponential.html#t:ExponentialFunctor" title="Proarrow.Object.Exponential"
		      >ExponentialFunctor</a
		      > :: k -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
		      >%</a
		      > ('('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
		      >OP</a
		      > a, b) :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k, k))</span
		    > <a href="src/Proarrow.Object.Exponential.html#line-93" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L93" class="link"
		    >Comments</a
		    > <a href="#t:-37-" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:OPPOSITE:-37-:42"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Object-Exponential.html"
			>Proarrow.Object.Exponential</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> (<a href="Proarrow-Object-Exponential.html#t:ExponentialFunctor" title="Proarrow.Object.Exponential"
			>ExponentialFunctor</a
			> :: k -&gt; (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k, k) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			>Type</a
			>) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			>%</a
			> ('('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> a, b) :: (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k, k)) = a <a href="Proarrow-Object-Exponential.html#t:-126--126--62-" title="Proarrow.Object.Exponential"
			>~~&gt;</a
			> b</div
		      ></details
		    ></td
		  ></tr
		></table
	      ></details
	    ></div
	  ></div
	><div class="top"
	><p class="src"
	  ><span class="keyword"
	    >data</span
	    > <a id="t:Op" class="def"
	    >Op</a
	    > (p :: j <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
	    >+-&gt;</a
	    > k) (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
	    >OPPOSITE</a
	    > j) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
	    >OPPOSITE</a
	    > k) <span class="keyword"
	    >where</span
	    > <a href="src/Proarrow.Category.Opposite.html#Op" class="link"
	    >Source</a
	    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L19" class="link"
	    >Comments</a
	    > <a href="#t:Op" class="selflink"
	    >#</a
	    ></p
	  ><div class="subs constructors"
	  ><p class="caption"
	    >Constructors</p
	    ><table
	    ><tr
	      ><td class="src"
		><a id="v:Op" class="def"
		  >Op</a
		  ></td
		><td class="doc empty"
		>&nbsp;</td
		></tr
	      ><tr
	      ><td colspan="2"
		><div class="subs fields"
		  ><p class="caption"
		    >Fields</p
		    ><ul
		    ><li
		      ><dfn class="src"
			>:: <span class="keyword"
			  >forall</span
			  > {j} {k} (p :: j <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > k) (b1 :: k) (a1 :: j). { <a id="v:unOp" class="def"
			  >unOp</a
			  > :: p b1 a1</dfn
			><div class="doc empty"
			>&nbsp;</div
			></li
		      ><li
		      ><dfn class="src"
			>&nbsp;&nbsp;&nbsp;} -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			  >OP</a
			  > a1) ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			  >OP</a
			  > b1)</dfn
			><div class="doc empty"
			>&nbsp;</div
			></li
		      ></ul
		    ></div
		  ></td
		></tr
	      ></table
	    ></div
	  ><div class="subs instances"
	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Op"
	    >Instances</h4
	    ><details id="i:Op" open="open"
	    ><summary class="hide-when-js-enabled"
	      >Instances details</summary
	      ><table
	      ><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Op:Functor:1"
		      ></span
		      > <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > p =&gt; <a href="Proarrow-Functor.html#t:Functor" title="Proarrow.Functor"
		      >Functor</a
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-22" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L22" class="link"
		    >Comments</a
		    > <a href="#t:Op" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:Op:Functor:1"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:map"
			  >map</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a0 :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (a0 <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a a0 <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a b <a href="src/Proarrow.Functor.html#map" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Functor.hs#L18" class="link"
			  >Comments</a
			  > <a href="#v:map" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Op:Strong:2"
		      ></span
		      > <a href="Proarrow-Category-Monoidal-Action.html#t:Strong" title="Proarrow.Category.Monoidal.Action"
		      >Strong</a
		      > k2 p =&gt; <a href="Proarrow-Category-Monoidal-Action.html#t:Strong" title="Proarrow.Category.Monoidal.Action"
		      >Strong</a
		      > (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k2) (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k1 -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-105" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L105" class="link"
		    >Comments</a
		    > <a href="#t:Op" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:Op:Strong:2"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:act"
			  >act</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k2) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k2) (x :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (y :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k1). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p x y -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p (<a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > a x) (<a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > b y) <a href="src/Proarrow.Category.Monoidal.Action.html#act" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal/Action.hs#L14" class="link"
			  >Comments</a
			  > <a href="#v:act" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Op:MonoidalProfunctor:3"
		      ></span
		      > <a href="Proarrow-Category-Monoidal.html#t:MonoidalProfunctor" title="Proarrow.Category.Monoidal"
		      >MonoidalProfunctor</a
		      > p =&gt; <a href="Proarrow-Category-Monoidal.html#t:MonoidalProfunctor" title="Proarrow.Category.Monoidal"
		      >MonoidalProfunctor</a
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-60" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L60" class="link"
		    >Comments</a
		    > <a href="#t:Op" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:Op:MonoidalProfunctor:3"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:par0"
			  >par0</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) <a href="src/Proarrow.Category.Monoidal.html#par0" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L14" class="link"
			  >Comments</a
			  > <a href="#v:par0" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:par"
			  >par</a
			  > :: <span class="keyword"
			  >forall</span
			  > (x1 :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (x2 :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (y1 :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (y2 :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p x1 x2 -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p y1 y2 -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p (x1 <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > y1) (x2 <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > y2) <a href="src/Proarrow.Category.Monoidal.html#par" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L15" class="link"
			  >Comments</a
			  > <a href="#v:par" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Op:Profunctor:4"
		      ></span
		      > <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > p =&gt; <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-25" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L25" class="link"
		    >Comments</a
		    > <a href="#t:Op" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:Op:Profunctor:4"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:dimap"
			  >dimap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (c :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (d :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (c <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a) -&gt; (b <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > d) -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a b -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p c d <a href="src/Proarrow.Core.html#dimap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L38" class="link"
			  >Comments</a
			  > <a href="#v:dimap" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-92--92-"
			  >(\\)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) r. ((<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; r) -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a b -&gt; r <a href="src/Proarrow.Core.html#%5C%5C" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L39" class="link"
			  >Comments</a
			  > <a href="#v:-92--92-" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Op:Corepresentable:5"
		      ></span
		      > <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > p =&gt; <a href="Proarrow-Profunctor-Corepresentable.html#t:Corepresentable" title="Proarrow.Profunctor.Corepresentable"
		      >Corepresentable</a
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-86" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L86" class="link"
		    >Comments</a
		    > <a href="#t:Op" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:Op:Corepresentable:5"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:coindex"
			  >coindex</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a b -&gt; (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Corepresentable.html#t:-37--37-" title="Proarrow.Profunctor.Corepresentable"
			  >%%</a
			  > a) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b <a href="src/Proarrow.Profunctor.Corepresentable.html#coindex" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Corepresentable.hs#L15" class="link"
			  >Comments</a
			  > <a href="#v:coindex" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:cotabulate"
			  >cotabulate</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a =&gt; ((<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Corepresentable.html#t:-37--37-" title="Proarrow.Profunctor.Corepresentable"
			  >%%</a
			  > a) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a b <a href="src/Proarrow.Profunctor.Corepresentable.html#cotabulate" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Corepresentable.hs#L16" class="link"
			  >Comments</a
			  > <a href="#v:cotabulate" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:corepMap"
			  >corepMap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Corepresentable.html#t:-37--37-" title="Proarrow.Profunctor.Corepresentable"
			  >%%</a
			  > a) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Corepresentable.html#t:-37--37-" title="Proarrow.Profunctor.Corepresentable"
			  >%%</a
			  > b) <a href="src/Proarrow.Profunctor.Corepresentable.html#corepMap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Corepresentable.hs#L17" class="link"
			  >Comments</a
			  > <a href="#v:corepMap" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Op:Representable:6"
		      ></span
		      > <a href="Proarrow-Profunctor-Corepresentable.html#t:Corepresentable" title="Proarrow.Profunctor.Corepresentable"
		      >Corepresentable</a
		      > p =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-92" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L92" class="link"
		    >Comments</a
		    > <a href="#t:Op" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:Op:Representable:6"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b) <a href="src/Proarrow.Profunctor.Representable.html#index" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L16" class="link"
			  >Comments</a
			  > <a href="#v:index" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:tabulate"
			  >tabulate</a
			  > :: <span class="keyword"
			  >forall</span
			  > (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b =&gt; (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p a b <a href="src/Proarrow.Profunctor.Representable.html#tabulate" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L17" class="link"
			  >Comments</a
			  > <a href="#v:tabulate" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:repMap"
			  >repMap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k) (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > a) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b) <a href="src/Proarrow.Profunctor.Representable.html#repMap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L18" class="link"
			  >Comments</a
			  > <a href="#v:repMap" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Op:Adjunction:7"
		      ></span
		      > <a href="Proarrow-Adjunction.html#t:Adjunction" title="Proarrow.Adjunction"
		      >Adjunction</a
		      > q p =&gt; <a href="Proarrow-Adjunction.html#t:Adjunction" title="Proarrow.Adjunction"
		      >Adjunction</a
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >) (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > q :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Adjunction.html#line-82" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L82" class="link"
		    >Comments</a
		    > <a href="#t:Adjunction" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:Op:Adjunction:7"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Adjunction.html"
			>Proarrow.Adjunction</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:unit"
			  >unit</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a =&gt; (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > q <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p) a a <a href="src/Proarrow.Adjunction.html#unit" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L24" class="link"
			  >Comments</a
			  > <a href="#v:unit" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:counit"
			  >counit</a
			  > :: (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > p <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > q) <a href="Proarrow-Core.html#t::-126--62-" title="Proarrow.Core"
			  >:~&gt;</a
			  > (<a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >(~&gt;)</a
			  > :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
			  >CAT</a
			  > (<a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k)) <a href="src/Proarrow.Adjunction.html#counit" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L25" class="link"
			  >Comments</a
			  > <a href="#v:counit" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Op:Promonad:8"
		      ></span
		      > <a href="Proarrow-Core.html#t:Promonad" title="Proarrow.Core"
		      >Promonad</a
		      > c =&gt; <a href="Proarrow-Core.html#t:Promonad" title="Proarrow.Core"
		      >Promonad</a
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > c :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-34" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L34" class="link"
		    >Comments</a
		    > <a href="#t:Op" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:Op:Promonad:8"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:id"
			  >id</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a =&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > c a a <a href="src/Proarrow.Core.html#id" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L56" class="link"
			  >Comments</a
			  > <a href="#v:id" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:."
			  >(.)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (b :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (c0 :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j). <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > c b c0 -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > c a b -&gt; <a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			  >Op</a
			  > c a c0 <a href="src/Proarrow.Core.html#." class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L57" class="link"
			  >Comments</a
			  > <a href="#v:." class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Op:-37--37-:9"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >) <a href="Proarrow-Profunctor-Corepresentable.html#t:-37--37-" title="Proarrow.Profunctor.Corepresentable"
		      >%%</a
		      > ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
		      >OP</a
		      > a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-87" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L87" class="link"
		    >Comments</a
		    > <a href="#t:Op" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:Op:-37--37-:9"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			>Op</a
			> p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			>Type</a
			>) <a href="Proarrow-Profunctor-Corepresentable.html#t:-37--37-" title="Proarrow.Profunctor.Corepresentable"
			>%%</a
			> ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> j) = '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> (p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			>%</a
			> a)</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Op:-37-:10"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
		      >Op</a
		      > p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
		      >%</a
		      > ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
		      >OP</a
		      > a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
		      >OPPOSITE</a
		      > k)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-93" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L93" class="link"
		    >Comments</a
		    > <a href="#t:Op" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:Op:-37-:10"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> (<a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
			>Op</a
			> p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> j -&gt; <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			>Type</a
			>) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			>%</a
			> ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> a :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			>OPPOSITE</a
			> k) = '<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			>OP</a
			> (p <a href="Proarrow-Profunctor-Corepresentable.html#t:-37--37-" title="Proarrow.Profunctor.Corepresentable"
			>%%</a
			> a)</div
		      ></details
		    ></td
		  ></tr
		></table
	      ></details
	    ></div
	  ></div
	><div class="top"
	><p class="src"
	  ><span class="keyword"
	    >data</span
	    > <a id="t:UnOp" class="def"
	    >UnOp</a
	    > (p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
	    >OPPOSITE</a
	    > k <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
	    >+-&gt;</a
	    > <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
	    >OPPOSITE</a
	    > j) (a :: k) (b :: j) <span class="keyword"
	    >where</span
	    > <a href="src/Proarrow.Category.Opposite.html#UnOp" class="link"
	    >Source</a
	    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L99" class="link"
	    >Comments</a
	    > <a href="#t:UnOp" class="selflink"
	    >#</a
	    ></p
	  ><div class="subs constructors"
	  ><p class="caption"
	    >Constructors</p
	    ><table
	    ><tr
	      ><td class="src"
		><a id="v:UnOp" class="def"
		  >UnOp</a
		  ></td
		><td class="doc empty"
		>&nbsp;</td
		></tr
	      ><tr
	      ><td colspan="2"
		><div class="subs fields"
		  ><p class="caption"
		    >Fields</p
		    ><ul
		    ><li
		      ><dfn class="src"
			>:: <span class="keyword"
			  >forall</span
			  > {k} {j} (p :: <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > k <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > <a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
			  >OPPOSITE</a
			  > j) (b :: j) (a :: k). { <a id="v:unUnOp" class="def"
			  >unUnOp</a
			  > :: p ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			  >OP</a
			  > b) ('<a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
			  >OP</a
			  > a)</dfn
			><div class="doc empty"
			>&nbsp;</div
			></li
		      ><li
		      ><dfn class="src"
			>&nbsp;&nbsp;&nbsp;} -&gt; <a href="Proarrow-Category-Opposite.html#t:UnOp" title="Proarrow.Category.Opposite"
			  >UnOp</a
			  > p a b</dfn
			><div class="doc empty"
			>&nbsp;</div
			></li
		      ></ul
		    ></div
		  ></td
		></tr
	      ></table
	    ></div
	  ><div class="subs instances"
	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:UnOp"
	    >Instances</h4
	    ><details id="i:UnOp" open="open"
	    ><summary class="hide-when-js-enabled"
	      >Instances details</summary
	      ><table
	      ><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:UnOp:Profunctor:1"
		      ></span
		      > (<a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > j, <a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > k, <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > p) =&gt; <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > (<a href="Proarrow-Category-Opposite.html#t:UnOp" title="Proarrow.Category.Opposite"
		      >UnOp</a
		      > p :: k -&gt; j -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Opposite.html#line-101" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Opposite.hs#L101" class="link"
		    >Comments</a
		    > <a href="#t:UnOp" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:UnOp:Profunctor:1"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Opposite.html"
			>Proarrow.Category.Opposite</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:dimap"
			  >dimap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (c :: k) (a :: k) (b :: j) (d :: j). (c <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a) -&gt; (b <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > d) -&gt; <a href="Proarrow-Category-Opposite.html#t:UnOp" title="Proarrow.Category.Opposite"
			  >UnOp</a
			  > p a b -&gt; <a href="Proarrow-Category-Opposite.html#t:UnOp" title="Proarrow.Category.Opposite"
			  >UnOp</a
			  > p c d <a href="src/Proarrow.Core.html#dimap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L38" class="link"
			  >Comments</a
			  > <a href="#v:dimap" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-92--92-"
			  >(\\)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: k) (b :: j) r. ((<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; r) -&gt; <a href="Proarrow-Category-Opposite.html#t:UnOp" title="Proarrow.Category.Opposite"
			  >UnOp</a
			  > p a b -&gt; r <a href="src/Proarrow.Core.html#%5C%5C" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L39" class="link"
			  >Comments</a
			  > <a href="#v:-92--92-" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		></table
	      ></details
	    ></div
	  ></div
	></div
      ></div
    ><div id="footer"
    ><p
      >Produced by <a href="http://www.haskell.org/haddock/"
	>Haddock</a
	> version 2.28.0</p
      ></div
    ></body
  ></html
>