docs/Proarrow-Profunctor-Representable.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.Profunctor.Representable</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.Profunctor.Representable.html"
	  >Source</a
	  ></li
	><li
	><a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.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.Profunctor.Representable</p
	></div
      ><div id="interface"
      ><h1
	>Documentation</h1
	><div class="top"
	><p class="src"
	  ><span class="keyword"
	    >class</span
	    > <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
	    >Profunctor</a
	    > p =&gt; <a id="t:Representable" class="def"
	    >Representable</a
	    > (p :: j <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
	    >+-&gt;</a
	    > k) <span class="keyword"
	    >where</span
	    > <a href="src/Proarrow.Profunctor.Representable.html#Representable" class="link"
	    >Source</a
	    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L14" class="link"
	    >Comments</a
	    > <a href="#t:Representable" class="selflink"
	    >#</a
	    ></p
	  ><div class="subs associated-types"
	  ><p class="caption"
	    >Associated Types</p
	    ><p class="src"
	    ><span class="keyword"
	      >type</span
	      > (p :: j <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
	      >+-&gt;</a
	      > k) <a id="t:-37-" class="def"
	      >%</a
	      > (a :: j) :: k <span class="fixity"
	      >infixl 8</span
	      ><span class="rightedge"
	      ></span
	      > <a href="src/Proarrow.Profunctor.Representable.html#%25" class="link"
	      >Source</a
	      > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L" class="link"
	      >Comments</a
	      > <a href="#t:-37-" class="selflink"
	      >#</a
	      ></p
	    ></div
	  ><div class="subs methods"
	  ><p class="caption"
	    >Methods</p
	    ><p class="src"
	    ><a id="v:index" class="def"
	      >index</a
	      > :: <span class="keyword"
	      >forall</span
	      > (a :: k) (b :: j). p a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
	      >~&gt;</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#L14" class="link"
	      >Comments</a
	      > <a href="#v:index" class="selflink"
	      >#</a
	      ></p
	    ><p class="src"
	    ><a id="v:tabulate" class="def"
	      >tabulate</a
	      > :: <span class="keyword"
	      >forall</span
	      > (b :: j) (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
	      > (p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
	      >%</a
	      > b)) -&gt; 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#L14" class="link"
	      >Comments</a
	      > <a href="#v:tabulate" class="selflink"
	      >#</a
	      ></p
	    ><p class="src"
	    ><a id="v:repMap" class="def"
	      >repMap</a
	      > :: <span class="keyword"
	      >forall</span
	      > (a :: j) (b :: j). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
	      >~&gt;</a
	      > b) -&gt; (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
	      > (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#L14" class="link"
	      >Comments</a
	      > <a href="#v:repMap" class="selflink"
	      >#</a
	      ></p
	    ></div
	  ><div class="subs instances"
	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Representable"
	    >Instances</h4
	    ><details id="i:Representable" 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:ic:Representable:Representable:1"
		      ></span
		      > <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > <a href="Proarrow-Category-Instance-Linear.html#t:Forget" title="Proarrow.Category.Instance.Linear"
		      >Forget</a
		      ></span
		    > <a href="src/Proarrow.Category.Instance.Linear.html#line-78" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L78" 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:ic:Representable:Representable:1"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Instance-Linear.html"
			>Proarrow.Category.Instance.Linear</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:-37-LINEARTYPEForgeta:-37-:1"
				></span
				> <span class="keyword"
				>type</span
				> <a href="Proarrow-Category-Instance-Linear.html#t:Forget" title="Proarrow.Category.Instance.Linear"
				>Forget</a
				> <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
				>%</a
				> (a :: <a href="Proarrow-Category-Instance-Linear.html#t:LINEAR" title="Proarrow.Category.Instance.Linear"
				>LINEAR</a
				>)</span
			      ></td
			    ><td class="doc empty"
			    >&nbsp;</td
			    ></tr
			  ><tr
			  ><td colspan="2"
			    ><details id="i:if:D:R:-37-LINEARTYPEForgeta:-37-:1"
			      ><summary class="hide-when-js-enabled"
				>Instance details</summary
				><p
				>Defined in <a href="Proarrow-Category-Instance-Linear.html"
				  >Proarrow.Category.Instance.Linear</a
				  ></p
				> <div class="src"
				><span class="keyword"
				  >type</span
				  > <a href="Proarrow-Category-Instance-Linear.html#t:Forget" title="Proarrow.Category.Instance.Linear"
				  >Forget</a
				  > <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
				  >%</a
				  > (a :: <a href="Proarrow-Category-Instance-Linear.html#t:LINEAR" title="Proarrow.Category.Instance.Linear"
				  >LINEAR</a
				  >) = <a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
				  >UN</a
				  > '<a href="Proarrow-Category-Instance-Linear.html#v:L" title="Proarrow.Category.Instance.Linear"
				  >L</a
				  > a</div
				></details
			      ></td
			    ></tr
			  ></table
			></div
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > a (b :: <a href="Proarrow-Category-Instance-Linear.html#t:LINEAR" title="Proarrow.Category.Instance.Linear"
			  >LINEAR</a
			  >). <a href="Proarrow-Category-Instance-Linear.html#t:Forget" title="Proarrow.Category.Instance.Linear"
			  >Forget</a
			  > a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Instance-Linear.html#t:Forget" title="Proarrow.Category.Instance.Linear"
			  >Forget</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-Instance-Linear.html#t:LINEAR" title="Proarrow.Category.Instance.Linear"
			  >LINEAR</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 href="Proarrow-Category-Instance-Linear.html#t:Forget" title="Proarrow.Category.Instance.Linear"
			  >Forget</a
			  > <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Category-Instance-Linear.html#t:Forget" title="Proarrow.Category.Instance.Linear"
			  >Forget</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-Instance-Linear.html#t:LINEAR" title="Proarrow.Category.Instance.Linear"
			  >LINEAR</a
			  >) (b :: <a href="Proarrow-Category-Instance-Linear.html#t:LINEAR" title="Proarrow.Category.Instance.Linear"
			  >LINEAR</a
			  >). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Instance-Linear.html#t:Forget" title="Proarrow.Category.Instance.Linear"
			  >Forget</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-Category-Instance-Linear.html#t:Forget" title="Proarrow.Category.Instance.Linear"
			  >Forget</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:ic:Representable:Representable:2"
		      ></span
		      > <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > <a href="Proarrow-Category-Instance-Simplex.html#t:Forget" title="Proarrow.Category.Instance.Simplex"
		      >Forget</a
		      ></span
		    > <a href="src/Proarrow.Category.Instance.Simplex.html#line-87" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L87" 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:ic:Representable:Representable:2"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Instance-Simplex.html"
			>Proarrow.Category.Instance.Simplex</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:-37-NatTYPEForgetn:-37-:1"
				></span
				> <span class="keyword"
				>type</span
				> <a href="Proarrow-Category-Instance-Simplex.html#t:Forget" title="Proarrow.Category.Instance.Simplex"
				>Forget</a
				> <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
				>%</a
				> (n :: <a href="Proarrow-Category-Instance-Simplex.html#t:Nat" title="Proarrow.Category.Instance.Simplex"
				>Nat</a
				>)</span
			      ></td
			    ><td class="doc empty"
			    >&nbsp;</td
			    ></tr
			  ><tr
			  ><td colspan="2"
			    ><details id="i:if:D:R:-37-NatTYPEForgetn:-37-:1"
			      ><summary class="hide-when-js-enabled"
				>Instance details</summary
				><p
				>Defined in <a href="Proarrow-Category-Instance-Simplex.html"
				  >Proarrow.Category.Instance.Simplex</a
				  ></p
				> <div class="src"
				><span class="keyword"
				  >type</span
				  > <a href="Proarrow-Category-Instance-Simplex.html#t:Forget" title="Proarrow.Category.Instance.Simplex"
				  >Forget</a
				  > <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
				  >%</a
				  > (n :: <a href="Proarrow-Category-Instance-Simplex.html#t:Nat" title="Proarrow.Category.Instance.Simplex"
				  >Nat</a
				  >) = <a href="Proarrow-Category-Instance-Simplex.html#t:Fin" title="Proarrow.Category.Instance.Simplex"
				  >Fin</a
				  > n</div
				></details
			      ></td
			    ></tr
			  ></table
			></div
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > a (b :: <a href="Proarrow-Category-Instance-Simplex.html#t:Nat" title="Proarrow.Category.Instance.Simplex"
			  >Nat</a
			  >). <a href="Proarrow-Category-Instance-Simplex.html#t:Forget" title="Proarrow.Category.Instance.Simplex"
			  >Forget</a
			  > a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Instance-Simplex.html#t:Forget" title="Proarrow.Category.Instance.Simplex"
			  >Forget</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-Instance-Simplex.html#t:Nat" title="Proarrow.Category.Instance.Simplex"
			  >Nat</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 href="Proarrow-Category-Instance-Simplex.html#t:Forget" title="Proarrow.Category.Instance.Simplex"
			  >Forget</a
			  > <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Category-Instance-Simplex.html#t:Forget" title="Proarrow.Category.Instance.Simplex"
			  >Forget</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-Instance-Simplex.html#t:Nat" title="Proarrow.Category.Instance.Simplex"
			  >Nat</a
			  >) (b :: <a href="Proarrow-Category-Instance-Simplex.html#t:Nat" title="Proarrow.Category.Instance.Simplex"
			  >Nat</a
			  >). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Instance-Simplex.html#t:Forget" title="Proarrow.Category.Instance.Simplex"
			  >Forget</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-Category-Instance-Simplex.html#t:Forget" title="Proarrow.Category.Instance.Simplex"
			  >Forget</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:ic:Representable:Representable:3"
		      ></span
		      > <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > <a href="Proarrow-Category-Instance-Linear.html#t:Free" title="Proarrow.Category.Instance.Linear"
		      >Free</a
		      ></span
		    > <a href="src/Proarrow.Category.Instance.Linear.html#line-116" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L116" 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:ic:Representable:Representable:3"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Instance-Linear.html"
			>Proarrow.Category.Instance.Linear</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:-37-TYPELINEARFreea:-37-:1"
				></span
				> <span class="keyword"
				>type</span
				> <a href="Proarrow-Category-Instance-Linear.html#t:Free" title="Proarrow.Category.Instance.Linear"
				>Free</a
				> <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
				>%</a
				> (a :: <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
				>Type</a
				>)</span
			      ></td
			    ><td class="doc empty"
			    >&nbsp;</td
			    ></tr
			  ><tr
			  ><td colspan="2"
			    ><details id="i:if:D:R:-37-TYPELINEARFreea:-37-:1"
			      ><summary class="hide-when-js-enabled"
				>Instance details</summary
				><p
				>Defined in <a href="Proarrow-Category-Instance-Linear.html"
				  >Proarrow.Category.Instance.Linear</a
				  ></p
				> <div class="src"
				><span class="keyword"
				  >type</span
				  > <a href="Proarrow-Category-Instance-Linear.html#t:Free" title="Proarrow.Category.Instance.Linear"
				  >Free</a
				  > <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
				  >%</a
				  > (a :: <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
				  >Type</a
				  >) = '<a href="Proarrow-Category-Instance-Linear.html#v:L" title="Proarrow.Category.Instance.Linear"
				  >L</a
				  > (<a href="Proarrow-Category-Instance-Linear.html#t:Ur" title="Proarrow.Category.Instance.Linear"
				  >Ur</a
				  > a)</div
				></details
			      ></td
			    ></tr
			  ></table
			></div
		      > <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-Instance-Linear.html#t:LINEAR" title="Proarrow.Category.Instance.Linear"
			  >LINEAR</a
			  >) b. <a href="Proarrow-Category-Instance-Linear.html#t:Free" title="Proarrow.Category.Instance.Linear"
			  >Free</a
			  > a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Instance-Linear.html#t:Free" title="Proarrow.Category.Instance.Linear"
			  >Free</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 :: <a href="Proarrow-Category-Instance-Linear.html#t:LINEAR" title="Proarrow.Category.Instance.Linear"
			  >LINEAR</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 href="Proarrow-Category-Instance-Linear.html#t:Free" title="Proarrow.Category.Instance.Linear"
			  >Free</a
			  > <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Category-Instance-Linear.html#t:Free" title="Proarrow.Category.Instance.Linear"
			  >Free</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
			  > :: (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Instance-Linear.html#t:Free" title="Proarrow.Category.Instance.Linear"
			  >Free</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-Category-Instance-Linear.html#t:Free" title="Proarrow.Category.Instance.Linear"
			  >Free</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:ic:Representable:Representable:4"
		      ></span
		      > <a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > k =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Instance-Cat.html#t:Initiate" title="Proarrow.Category.Instance.Cat"
		      >Initiate</a
		      > :: k -&gt; <a href="Proarrow-Category-Instance-Zero.html#t:VOID" title="Proarrow.Category.Instance.Zero"
		      >VOID</a
		      > -&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-80" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L80" 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:ic:Representable:Representable:4"
		    ><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:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: k) (b :: <a href="Proarrow-Category-Instance-Zero.html#t:VOID" title="Proarrow.Category.Instance.Zero"
			  >VOID</a
			  >). <a href="Proarrow-Category-Instance-Cat.html#t:Initiate" title="Proarrow.Category.Instance.Cat"
			  >Initiate</a
			  > a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((<a href="Proarrow-Category-Instance-Cat.html#t:Initiate" title="Proarrow.Category.Instance.Cat"
			  >Initiate</a
			  > :: k -&gt; <a href="Proarrow-Category-Instance-Zero.html#t:VOID" title="Proarrow.Category.Instance.Zero"
			  >VOID</a
			  > -&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-Instance-Zero.html#t:VOID" title="Proarrow.Category.Instance.Zero"
			  >VOID</a
			  >) (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-Category-Instance-Cat.html#t:Initiate" title="Proarrow.Category.Instance.Cat"
			  >Initiate</a
			  > :: k -&gt; <a href="Proarrow-Category-Instance-Zero.html#t:VOID" title="Proarrow.Category.Instance.Zero"
			  >VOID</a
			  > -&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-Category-Instance-Cat.html#t:Initiate" title="Proarrow.Category.Instance.Cat"
			  >Initiate</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-Instance-Zero.html#t:VOID" title="Proarrow.Category.Instance.Zero"
			  >VOID</a
			  >) (b :: <a href="Proarrow-Category-Instance-Zero.html#t:VOID" title="Proarrow.Category.Instance.Zero"
			  >VOID</a
			  >). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; ((<a href="Proarrow-Category-Instance-Cat.html#t:Initiate" title="Proarrow.Category.Instance.Cat"
			  >Initiate</a
			  > :: k -&gt; <a href="Proarrow-Category-Instance-Zero.html#t:VOID" title="Proarrow.Category.Instance.Zero"
			  >VOID</a
			  > -&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-Category-Instance-Cat.html#t:Initiate" title="Proarrow.Category.Instance.Cat"
			  >Initiate</a
			  > :: k -&gt; <a href="Proarrow-Category-Instance-Zero.html#t:VOID" title="Proarrow.Category.Instance.Zero"
			  >VOID</a
			  > -&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:ic:Representable:Representable:5"
		      ></span
		      > <a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > k =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Instance-Cat.html#t:Terminate" title="Proarrow.Category.Instance.Cat"
		      >Terminate</a
		      > :: () -&gt; 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-65" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L65" 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:ic:Representable:Representable:5"
		    ><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:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: ()) (b :: k). <a href="Proarrow-Category-Instance-Cat.html#t:Terminate" title="Proarrow.Category.Instance.Cat"
			  >Terminate</a
			  > a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((<a href="Proarrow-Category-Instance-Cat.html#t:Terminate" title="Proarrow.Category.Instance.Cat"
			  >Terminate</a
			  > :: () -&gt; 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 :: k) (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 href="Proarrow-Category-Instance-Cat.html#t:Terminate" title="Proarrow.Category.Instance.Cat"
			  >Terminate</a
			  > :: () -&gt; 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-Category-Instance-Cat.html#t:Terminate" title="Proarrow.Category.Instance.Cat"
			  >Terminate</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 :: k) (b :: k). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; ((<a href="Proarrow-Category-Instance-Cat.html#t:Terminate" title="Proarrow.Category.Instance.Cat"
			  >Terminate</a
			  > :: () -&gt; 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-Category-Instance-Cat.html#t:Terminate" title="Proarrow.Category.Instance.Cat"
			  >Terminate</a
			  > :: () -&gt; 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:ic:Representable:Representable:6"
		      ></span
		      > <a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > k =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Profunctor-Identity.html#t:Id" title="Proarrow.Profunctor.Identity"
		      >Id</a
		      > :: 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.Profunctor.Identity.html#line-21" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L21" 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:ic:Representable:Representable:6"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Identity.html"
			>Proarrow.Profunctor.Identity</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 :: k). <a href="Proarrow-Profunctor-Identity.html#t:Id" title="Proarrow.Profunctor.Identity"
			  >Id</a
			  > a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((<a href="Proarrow-Profunctor-Identity.html#t:Id" title="Proarrow.Profunctor.Identity"
			  >Id</a
			  > :: k -&gt; 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 :: 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-Profunctor-Identity.html#t:Id" title="Proarrow.Profunctor.Identity"
			  >Id</a
			  > :: k -&gt; 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-Profunctor-Identity.html#t:Id" title="Proarrow.Profunctor.Identity"
			  >Id</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 :: k) (b :: k). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; ((<a href="Proarrow-Profunctor-Identity.html#t:Id" title="Proarrow.Profunctor.Identity"
			  >Id</a
			  > :: k -&gt; 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-Profunctor-Identity.html#t:Id" title="Proarrow.Profunctor.Identity"
			  >Id</a
			  > :: k -&gt; 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:ic:Representable:Representable:7"
		      ></span
		      > <a href="Proarrow-Monoid.html#t:Monoid" title="Proarrow.Monoid"
		      >Monoid</a
		      > m =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Instance-Simplex.html#t:Replicate" title="Proarrow.Category.Instance.Simplex"
		      >Replicate</a
		      > m :: k -&gt; <a href="Proarrow-Category-Instance-Simplex.html#t:Nat" title="Proarrow.Category.Instance.Simplex"
		      >Nat</a
		      > -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Instance.Simplex.html#line-138" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L138" 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:ic:Representable:Representable:7"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Instance-Simplex.html"
			>Proarrow.Category.Instance.Simplex</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-Instance-Simplex.html#t:Nat" title="Proarrow.Category.Instance.Simplex"
			  >Nat</a
			  >). <a href="Proarrow-Category-Instance-Simplex.html#t:Replicate" title="Proarrow.Category.Instance.Simplex"
			  >Replicate</a
			  > m a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Instance-Simplex.html#t:Replicate" title="Proarrow.Category.Instance.Simplex"
			  >Replicate</a
			  > m <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-Instance-Simplex.html#t:Nat" title="Proarrow.Category.Instance.Simplex"
			  >Nat</a
			  >) (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-Category-Instance-Simplex.html#t:Replicate" title="Proarrow.Category.Instance.Simplex"
			  >Replicate</a
			  > m <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Category-Instance-Simplex.html#t:Replicate" title="Proarrow.Category.Instance.Simplex"
			  >Replicate</a
			  > m 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-Instance-Simplex.html#t:Nat" title="Proarrow.Category.Instance.Simplex"
			  >Nat</a
			  >) (b :: <a href="Proarrow-Category-Instance-Simplex.html#t:Nat" title="Proarrow.Category.Instance.Simplex"
			  >Nat</a
			  >). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Instance-Simplex.html#t:Replicate" title="Proarrow.Category.Instance.Simplex"
			  >Replicate</a
			  > m <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-Instance-Simplex.html#t:Replicate" title="Proarrow.Category.Instance.Simplex"
			  >Replicate</a
			  > m <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:ic:Representable:Representable:8"
		      ></span
		      > <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > d =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Limit.html#t:EndLimit" title="Proarrow.Category.Limit"
		      >EndLimit</a
		      > d :: <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      > -&gt; () -&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-110" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L110" 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:ic:Representable:Representable:8"
		    ><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:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > a (b :: ()). <a href="Proarrow-Category-Limit.html#t:EndLimit" title="Proarrow.Category.Limit"
			  >EndLimit</a
			  > d a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Limit.html#t:EndLimit" title="Proarrow.Category.Limit"
			  >EndLimit</a
			  > d <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. <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-Limit.html#t:EndLimit" title="Proarrow.Category.Limit"
			  >EndLimit</a
			  > d <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Category-Limit.html#t:EndLimit" title="Proarrow.Category.Limit"
			  >EndLimit</a
			  > d 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 :: ()) (b :: ()). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Limit.html#t:EndLimit" title="Proarrow.Category.Limit"
			  >EndLimit</a
			  > d <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-Limit.html#t:EndLimit" title="Proarrow.Category.Limit"
			  >EndLimit</a
			  > d <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:ic:Representable:Representable:9"
		      ></span
		      > (<a href="Proarrow-Object-BinaryCoproduct.html#t:HasBinaryCoproducts" title="Proarrow.Object.BinaryCoproduct"
		      >HasBinaryCoproducts</a
		      > k, <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > d) =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Colimit.html#t:CoproductColimit" title="Proarrow.Category.Colimit"
		      >CoproductColimit</a
		      > d :: k -&gt; () -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Colimit.html#line-73" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L73" 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:ic:Representable:Representable:9"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Colimit.html"
			>Proarrow.Category.Colimit</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-Colimit.html#t:CoproductColimit" title="Proarrow.Category.Colimit"
			  >CoproductColimit</a
			  > d a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Colimit.html#t:CoproductColimit" title="Proarrow.Category.Colimit"
			  >CoproductColimit</a
			  > d <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 :: 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-Category-Colimit.html#t:CoproductColimit" title="Proarrow.Category.Colimit"
			  >CoproductColimit</a
			  > d <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Category-Colimit.html#t:CoproductColimit" title="Proarrow.Category.Colimit"
			  >CoproductColimit</a
			  > d 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 :: ()) (b :: ()). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Colimit.html#t:CoproductColimit" title="Proarrow.Category.Colimit"
			  >CoproductColimit</a
			  > d <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-Colimit.html#t:CoproductColimit" title="Proarrow.Category.Colimit"
			  >CoproductColimit</a
			  > d <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:ic:Representable:Representable:10"
		      ></span
		      > <a href="Proarrow-Object-Initial.html#t:HasInitialObject" title="Proarrow.Object.Initial"
		      >HasInitialObject</a
		      > k =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Colimit.html#t:InitialLimit" title="Proarrow.Category.Colimit"
		      >InitialLimit</a
		      > d :: k -&gt; () -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Colimit.html#line-55" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L55" 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:ic:Representable:Representable:10"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Colimit.html"
			>Proarrow.Category.Colimit</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-Colimit.html#t:InitialLimit" title="Proarrow.Category.Colimit"
			  >InitialLimit</a
			  > d a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Colimit.html#t:InitialLimit" title="Proarrow.Category.Colimit"
			  >InitialLimit</a
			  > d <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 :: 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-Category-Colimit.html#t:InitialLimit" title="Proarrow.Category.Colimit"
			  >InitialLimit</a
			  > d <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Category-Colimit.html#t:InitialLimit" title="Proarrow.Category.Colimit"
			  >InitialLimit</a
			  > d 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 :: ()) (b :: ()). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Colimit.html#t:InitialLimit" title="Proarrow.Category.Colimit"
			  >InitialLimit</a
			  > d <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-Colimit.html#t:InitialLimit" title="Proarrow.Category.Colimit"
			  >InitialLimit</a
			  > d <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:ic:Representable:Representable:11"
		      ></span
		      > (<a href="Proarrow-Object-BinaryProduct.html#t:HasBinaryProducts" title="Proarrow.Object.BinaryProduct"
		      >HasBinaryProducts</a
		      > k, <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > d) =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Limit.html#t:ProductLimit" title="Proarrow.Category.Limit"
		      >ProductLimit</a
		      > d :: k -&gt; () -&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-77" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L77" 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:ic:Representable:Representable:11"
		    ><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:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: k) (b :: ()). <a href="Proarrow-Category-Limit.html#t:ProductLimit" title="Proarrow.Category.Limit"
			  >ProductLimit</a
			  > d a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Limit.html#t:ProductLimit" title="Proarrow.Category.Limit"
			  >ProductLimit</a
			  > d <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 :: 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-Category-Limit.html#t:ProductLimit" title="Proarrow.Category.Limit"
			  >ProductLimit</a
			  > d <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Category-Limit.html#t:ProductLimit" title="Proarrow.Category.Limit"
			  >ProductLimit</a
			  > d 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 :: ()) (b :: ()). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Limit.html#t:ProductLimit" title="Proarrow.Category.Limit"
			  >ProductLimit</a
			  > d <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-Limit.html#t:ProductLimit" title="Proarrow.Category.Limit"
			  >ProductLimit</a
			  > d <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:ic:Representable:Representable:12"
		      ></span
		      > <a href="Proarrow-Object-Terminal.html#t:HasTerminalObject" title="Proarrow.Object.Terminal"
		      >HasTerminalObject</a
		      > k =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Limit.html#t:TerminalLimit" title="Proarrow.Category.Limit"
		      >TerminalLimit</a
		      > d :: k -&gt; () -&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-59" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L59" 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:ic:Representable:Representable:12"
		    ><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:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: k) (b :: ()). <a href="Proarrow-Category-Limit.html#t:TerminalLimit" title="Proarrow.Category.Limit"
			  >TerminalLimit</a
			  > d a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Limit.html#t:TerminalLimit" title="Proarrow.Category.Limit"
			  >TerminalLimit</a
			  > d <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 :: 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-Category-Limit.html#t:TerminalLimit" title="Proarrow.Category.Limit"
			  >TerminalLimit</a
			  > d <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Category-Limit.html#t:TerminalLimit" title="Proarrow.Category.Limit"
			  >TerminalLimit</a
			  > d 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 :: ()) (b :: ()). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Limit.html#t:TerminalLimit" title="Proarrow.Category.Limit"
			  >TerminalLimit</a
			  > d <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-Limit.html#t:TerminalLimit" title="Proarrow.Category.Limit"
			  >TerminalLimit</a
			  > d <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:ic:Representable:Representable:13"
		      ></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-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
		      >CorepStar</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.Profunctor.Representable.html#line-47" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L47" 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:ic:Representable:Representable:13"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Representable.html"
			>Proarrow.Profunctor.Representable</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 :: j). <a href="Proarrow-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</a
			  > p a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</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 :: j) (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-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</a
			  > p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</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 :: j) (b :: j). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</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-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</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:ic:Representable:Representable:14"
		      ></span
		      > <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > p =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
		      >RepStar</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.Profunctor.Representable.html#line-35" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L35" 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:ic:Representable:Representable:14"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Representable.html"
			>Proarrow.Profunctor.Representable</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 :: j). <a href="Proarrow-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</a
			  > p a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</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 :: j) (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-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</a
			  > p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</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 :: j) (b :: j). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</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-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</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:ic:Representable:Representable:15"
		      ></span
		      > <a href="Proarrow-Functor.html#t:Functor" title="Proarrow.Functor"
		      >Functor</a
		      > f =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Profunctor-Star.html#t:Star" title="Proarrow.Profunctor.Star"
		      >Star</a
		      > f :: 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.Star.html#line-29" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L29" 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:ic:Representable:Representable:15"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Star.html"
			>Proarrow.Profunctor.Star</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 :: j). <a href="Proarrow-Profunctor-Star.html#t:Star" title="Proarrow.Profunctor.Star"
			  >Star</a
			  > f a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Profunctor-Star.html#t:Star" title="Proarrow.Profunctor.Star"
			  >Star</a
			  > f <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 :: j) (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-Profunctor-Star.html#t:Star" title="Proarrow.Profunctor.Star"
			  >Star</a
			  > f <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Profunctor-Star.html#t:Star" title="Proarrow.Profunctor.Star"
			  >Star</a
			  > f 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 :: j) (b :: j). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Profunctor-Star.html#t:Star" title="Proarrow.Profunctor.Star"
			  >Star</a
			  > f <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-Profunctor-Star.html#t:Star" title="Proarrow.Profunctor.Star"
			  >Star</a
			  > f <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:ic:Representable:Representable:16"
		      ></span
		      > (<a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > p, <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > q) =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (p <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
		      >:.:</a
		      > q :: k -&gt; j2 -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Profunctor.Composition.html#line-29" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L29" 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:ic:Representable:Representable:16"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Composition.html"
			>Proarrow.Profunctor.Composition</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 :: j2). (p <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > q) a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((p <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > q) <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 :: j2) (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
			  > ((p <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > q) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; (p <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > q) 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 :: j2) (b :: j2). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; ((p <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > q) <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
			  > ((p <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > q) <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:ic:Representable:Representable:17"
		      ></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-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Instance-Cat.html#t:LftCat" title="Proarrow.Category.Instance.Cat"
		      >LftCat</a
		      > :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
		      >COPRODUCT</a
		      > j 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.Instance.Cat.html#line-140" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L140" 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:ic:Representable:Representable:17"
		    ><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:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > j k) (b :: j). <a href="Proarrow-Category-Instance-Cat.html#t:LftCat" title="Proarrow.Category.Instance.Cat"
			  >LftCat</a
			  > a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((<a href="Proarrow-Category-Instance-Cat.html#t:LftCat" title="Proarrow.Category.Instance.Cat"
			  >LftCat</a
			  > :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > j k -&gt; j -&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 :: j) (a :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > j 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-Category-Instance-Cat.html#t:LftCat" title="Proarrow.Category.Instance.Cat"
			  >LftCat</a
			  > :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > j k -&gt; j -&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-Category-Instance-Cat.html#t:LftCat" title="Proarrow.Category.Instance.Cat"
			  >LftCat</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 :: j) (b :: j). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; ((<a href="Proarrow-Category-Instance-Cat.html#t:LftCat" title="Proarrow.Category.Instance.Cat"
			  >LftCat</a
			  > :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > j k -&gt; j -&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-Category-Instance-Cat.html#t:LftCat" title="Proarrow.Category.Instance.Cat"
			  >LftCat</a
			  > :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > j k -&gt; j -&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:ic:Representable:Representable:18"
		      ></span
		      > <a href="Proarrow-Profunctor-Cofree.html#t:HasCofree" title="Proarrow.Profunctor.Cofree"
		      >HasCofree</a
		      > ob =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Profunctor-Cofree.html#t:CofreeSub" title="Proarrow.Profunctor.Cofree"
		      >CofreeSub</a
		      > ob :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob -&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.Cofree.html#line-36" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L36" 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:ic:Representable:Representable:18"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Cofree.html"
			>Proarrow.Profunctor.Cofree</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-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (b :: j). <a href="Proarrow-Profunctor-Cofree.html#t:CofreeSub" title="Proarrow.Profunctor.Cofree"
			  >CofreeSub</a
			  > ob a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Profunctor-Cofree.html#t:CofreeSub" title="Proarrow.Profunctor.Cofree"
			  >CofreeSub</a
			  > ob <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 :: j) (a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob). <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-Profunctor-Cofree.html#t:CofreeSub" title="Proarrow.Profunctor.Cofree"
			  >CofreeSub</a
			  > ob <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Profunctor-Cofree.html#t:CofreeSub" title="Proarrow.Profunctor.Cofree"
			  >CofreeSub</a
			  > ob 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 :: j) (b :: j). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Profunctor-Cofree.html#t:CofreeSub" title="Proarrow.Profunctor.Cofree"
			  >CofreeSub</a
			  > ob <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-Profunctor-Cofree.html#t:CofreeSub" title="Proarrow.Profunctor.Cofree"
			  >CofreeSub</a
			  > ob <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:ic:Representable:Representable:19"
		      ></span
		      > <a href="Proarrow-Profunctor-Free.html#t:HasFree" title="Proarrow.Profunctor.Free"
		      >HasFree</a
		      > ob =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Profunctor-Free.html#t:FreeSub" title="Proarrow.Profunctor.Free"
		      >FreeSub</a
		      > ob :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob -&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.Free.html#line-62" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L62" 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:ic:Representable:Representable:19"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Free.html"
			>Proarrow.Profunctor.Free</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-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (b :: j). <a href="Proarrow-Profunctor-Free.html#t:FreeSub" title="Proarrow.Profunctor.Free"
			  >FreeSub</a
			  > ob a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Profunctor-Free.html#t:FreeSub" title="Proarrow.Profunctor.Free"
			  >FreeSub</a
			  > ob <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 :: j) (a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob). <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-Profunctor-Free.html#t:FreeSub" title="Proarrow.Profunctor.Free"
			  >FreeSub</a
			  > ob <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Profunctor-Free.html#t:FreeSub" title="Proarrow.Profunctor.Free"
			  >FreeSub</a
			  > ob 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 :: j) (b :: j). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Profunctor-Free.html#t:FreeSub" title="Proarrow.Profunctor.Free"
			  >FreeSub</a
			  > ob <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-Profunctor-Free.html#t:FreeSub" title="Proarrow.Profunctor.Free"
			  >FreeSub</a
			  > ob <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:ic:Representable:Representable:20"
		      ></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-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Instance-Cat.html#t:RgtCat" title="Proarrow.Category.Instance.Cat"
		      >RgtCat</a
		      > :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
		      >COPRODUCT</a
		      > j 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.Category.Instance.Cat.html#line-153" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L153" 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:ic:Representable:Representable:20"
		    ><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:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > j k) (b :: k). <a href="Proarrow-Category-Instance-Cat.html#t:RgtCat" title="Proarrow.Category.Instance.Cat"
			  >RgtCat</a
			  > a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((<a href="Proarrow-Category-Instance-Cat.html#t:RgtCat" title="Proarrow.Category.Instance.Cat"
			  >RgtCat</a
			  > :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > j k -&gt; 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 :: k) (a :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > j 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-Category-Instance-Cat.html#t:RgtCat" title="Proarrow.Category.Instance.Cat"
			  >RgtCat</a
			  > :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > j k -&gt; 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-Category-Instance-Cat.html#t:RgtCat" title="Proarrow.Category.Instance.Cat"
			  >RgtCat</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 :: k) (b :: k). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; ((<a href="Proarrow-Category-Instance-Cat.html#t:RgtCat" title="Proarrow.Category.Instance.Cat"
			  >RgtCat</a
			  > :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > j k -&gt; 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-Category-Instance-Cat.html#t:RgtCat" title="Proarrow.Category.Instance.Cat"
			  >RgtCat</a
			  > :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > j k -&gt; 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:ic:Representable:Representable:21"
		      ></span
		      > (<a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > p, <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > q) =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (p <a href="Proarrow-Category-Instance-Cat.html#t::-38--38--38-:" title="Proarrow.Category.Instance.Cat"
		      >:&amp;&amp;&amp;:</a
		      > q :: (i, j2) -&gt; j1 -&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-120" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L120" 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:ic:Representable:Representable:21"
		    ><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:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: (i, j2)) (b :: j1). (p <a href="Proarrow-Category-Instance-Cat.html#t::-38--38--38-:" title="Proarrow.Category.Instance.Cat"
			  >:&amp;&amp;&amp;:</a
			  > q) a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((p <a href="Proarrow-Category-Instance-Cat.html#t::-38--38--38-:" title="Proarrow.Category.Instance.Cat"
			  >:&amp;&amp;&amp;:</a
			  > q) <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 :: j1) (a :: (i, j2)). <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
			  > ((p <a href="Proarrow-Category-Instance-Cat.html#t::-38--38--38-:" title="Proarrow.Category.Instance.Cat"
			  >:&amp;&amp;&amp;:</a
			  > q) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; (p <a href="Proarrow-Category-Instance-Cat.html#t::-38--38--38-:" title="Proarrow.Category.Instance.Cat"
			  >:&amp;&amp;&amp;:</a
			  > q) 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 :: j1) (b :: j1). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; ((p <a href="Proarrow-Category-Instance-Cat.html#t::-38--38--38-:" title="Proarrow.Category.Instance.Cat"
			  >:&amp;&amp;&amp;:</a
			  > q) <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
			  > ((p <a href="Proarrow-Category-Instance-Cat.html#t::-38--38--38-:" title="Proarrow.Category.Instance.Cat"
			  >:&amp;&amp;&amp;:</a
			  > q) <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:ic:Representable:Representable:22"
		      ></span
		      > <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > p =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Instance-Collage.html#t:InjL" title="Proarrow.Category.Instance.Collage"
		      >InjL</a
		      > p :: <a href="Proarrow-Category-Instance-Collage.html#t:COLLAGE" title="Proarrow.Category.Instance.Collage"
		      >COLLAGE</a
		      > p -&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.Instance.Collage.html#line-89" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L89" 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:ic:Representable:Representable:22"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Instance-Collage.html"
			>Proarrow.Category.Instance.Collage</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-Instance-Collage.html#t:COLLAGE" title="Proarrow.Category.Instance.Collage"
			  >COLLAGE</a
			  > p) (b :: j). <a href="Proarrow-Category-Instance-Collage.html#t:InjL" title="Proarrow.Category.Instance.Collage"
			  >InjL</a
			  > p a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Instance-Collage.html#t:InjL" title="Proarrow.Category.Instance.Collage"
			  >InjL</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 :: j) (a :: <a href="Proarrow-Category-Instance-Collage.html#t:COLLAGE" title="Proarrow.Category.Instance.Collage"
			  >COLLAGE</a
			  > p). <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-Instance-Collage.html#t:InjL" title="Proarrow.Category.Instance.Collage"
			  >InjL</a
			  > p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Category-Instance-Collage.html#t:InjL" title="Proarrow.Category.Instance.Collage"
			  >InjL</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 :: j) (b :: j). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Instance-Collage.html#t:InjL" title="Proarrow.Category.Instance.Collage"
			  >InjL</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-Instance-Collage.html#t:InjL" title="Proarrow.Category.Instance.Collage"
			  >InjL</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:ic:Representable:Representable:23"
		      ></span
		      > <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > p =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Instance-Collage.html#t:InjR" title="Proarrow.Category.Instance.Collage"
		      >InjR</a
		      > p :: <a href="Proarrow-Category-Instance-Collage.html#t:COLLAGE" title="Proarrow.Category.Instance.Collage"
		      >COLLAGE</a
		      > p -&gt; j2 -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Instance.Collage.html#line-101" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L101" 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:ic:Representable:Representable:23"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Instance-Collage.html"
			>Proarrow.Category.Instance.Collage</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-Instance-Collage.html#t:COLLAGE" title="Proarrow.Category.Instance.Collage"
			  >COLLAGE</a
			  > p) (b :: j2). <a href="Proarrow-Category-Instance-Collage.html#t:InjR" title="Proarrow.Category.Instance.Collage"
			  >InjR</a
			  > p a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Instance-Collage.html#t:InjR" title="Proarrow.Category.Instance.Collage"
			  >InjR</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 :: j2) (a :: <a href="Proarrow-Category-Instance-Collage.html#t:COLLAGE" title="Proarrow.Category.Instance.Collage"
			  >COLLAGE</a
			  > p). <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-Instance-Collage.html#t:InjR" title="Proarrow.Category.Instance.Collage"
			  >InjR</a
			  > p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Category-Instance-Collage.html#t:InjR" title="Proarrow.Category.Instance.Collage"
			  >InjR</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 :: j2) (b :: j2). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Instance-Collage.html#t:InjR" title="Proarrow.Category.Instance.Collage"
			  >InjR</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-Instance-Collage.html#t:InjR" title="Proarrow.Category.Instance.Collage"
			  >InjR</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:ic:Representable:Representable:24"
		      ></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/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:ic:Representable:Representable:24"
		    ><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:ic:Representable:Representable:25"
		      ></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:ic:Representable:Representable:25"
		    ><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:ic:Representable:Representable:26"
		      ></span
		      > <a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > k =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Profunctor-Forget.html#t:Forget" title="Proarrow.Profunctor.Forget"
		      >Forget</a
		      > ob :: k -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Profunctor.Forget.html#line-15" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L15" 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:ic:Representable:Representable:26"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Forget.html"
			>Proarrow.Profunctor.Forget</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-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob). <a href="Proarrow-Profunctor-Forget.html#t:Forget" title="Proarrow.Profunctor.Forget"
			  >Forget</a
			  > ob a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Profunctor-Forget.html#t:Forget" title="Proarrow.Profunctor.Forget"
			  >Forget</a
			  > ob <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-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (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-Profunctor-Forget.html#t:Forget" title="Proarrow.Profunctor.Forget"
			  >Forget</a
			  > ob <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Profunctor-Forget.html#t:Forget" title="Proarrow.Profunctor.Forget"
			  >Forget</a
			  > ob 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-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (b :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Profunctor-Forget.html#t:Forget" title="Proarrow.Profunctor.Forget"
			  >Forget</a
			  > ob <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-Profunctor-Forget.html#t:Forget" title="Proarrow.Profunctor.Forget"
			  >Forget</a
			  > ob <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:ic:Representable:Representable:27"
		      ></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-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Instance-Cat.html#t:FstCat" title="Proarrow.Category.Instance.Cat"
		      >FstCat</a
		      > :: j -&gt; (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-96" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L96" 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:ic:Representable:Representable: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:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: j) (b :: (j, k)). <a href="Proarrow-Category-Instance-Cat.html#t:FstCat" title="Proarrow.Category.Instance.Cat"
			  >FstCat</a
			  > a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((<a href="Proarrow-Category-Instance-Cat.html#t:FstCat" title="Proarrow.Category.Instance.Cat"
			  >FstCat</a
			  > :: j -&gt; (j, 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 :: (j, k)) (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-Instance-Cat.html#t:FstCat" title="Proarrow.Category.Instance.Cat"
			  >FstCat</a
			  > :: j -&gt; (j, 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-Category-Instance-Cat.html#t:FstCat" title="Proarrow.Category.Instance.Cat"
			  >FstCat</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 :: (j, k)) (b :: (j, k)). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; ((<a href="Proarrow-Category-Instance-Cat.html#t:FstCat" title="Proarrow.Category.Instance.Cat"
			  >FstCat</a
			  > :: j -&gt; (j, 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-Category-Instance-Cat.html#t:FstCat" title="Proarrow.Category.Instance.Cat"
			  >FstCat</a
			  > :: j -&gt; (j, 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:ic:Representable:Representable: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-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Instance-Cat.html#t:SndCat" title="Proarrow.Category.Instance.Cat"
		      >SndCat</a
		      > :: k -&gt; (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-108" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L108" 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:ic:Representable:Representable: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:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: k) (b :: (j, k)). <a href="Proarrow-Category-Instance-Cat.html#t:SndCat" title="Proarrow.Category.Instance.Cat"
			  >SndCat</a
			  > a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((<a href="Proarrow-Category-Instance-Cat.html#t:SndCat" title="Proarrow.Category.Instance.Cat"
			  >SndCat</a
			  > :: k -&gt; (j, 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 :: (j, 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-Category-Instance-Cat.html#t:SndCat" title="Proarrow.Category.Instance.Cat"
			  >SndCat</a
			  > :: k -&gt; (j, 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-Category-Instance-Cat.html#t:SndCat" title="Proarrow.Category.Instance.Cat"
			  >SndCat</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 :: (j, k)) (b :: (j, k)). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; ((<a href="Proarrow-Category-Instance-Cat.html#t:SndCat" title="Proarrow.Category.Instance.Cat"
			  >SndCat</a
			  > :: k -&gt; (j, 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-Category-Instance-Cat.html#t:SndCat" title="Proarrow.Category.Instance.Cat"
			  >SndCat</a
			  > :: k -&gt; (j, 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:ic:Representable:Representable:29"
		      ></span
		      > (<a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > p, <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > q) =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (p <a href="Proarrow-Category-Instance-Cat.html#t::-124--124--124-:" title="Proarrow.Category.Instance.Cat"
		      >:|||:</a
		      > q :: k -&gt; <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
		      >COPRODUCT</a
		      > i j -&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-168" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L168" 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:ic:Representable:Representable:29"
		    ><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:index"
			  >index</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: k) (b :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > i j). (p <a href="Proarrow-Category-Instance-Cat.html#t::-124--124--124-:" title="Proarrow.Category.Instance.Cat"
			  >:|||:</a
			  > q) a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((p <a href="Proarrow-Category-Instance-Cat.html#t::-124--124--124-:" title="Proarrow.Category.Instance.Cat"
			  >:|||:</a
			  > q) <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-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > i j) (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
			  > ((p <a href="Proarrow-Category-Instance-Cat.html#t::-124--124--124-:" title="Proarrow.Category.Instance.Cat"
			  >:|||:</a
			  > q) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; (p <a href="Proarrow-Category-Instance-Cat.html#t::-124--124--124-:" title="Proarrow.Category.Instance.Cat"
			  >:|||:</a
			  > q) 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-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > i j) (b :: <a href="Proarrow-Category-Instance-Coproduct.html#t:COPRODUCT" title="Proarrow.Category.Instance.Coproduct"
			  >COPRODUCT</a
			  > i j). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; ((p <a href="Proarrow-Category-Instance-Cat.html#t::-124--124--124-:" title="Proarrow.Category.Instance.Cat"
			  >:|||:</a
			  > q) <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
			  > ((p <a href="Proarrow-Category-Instance-Cat.html#t::-124--124--124-:" title="Proarrow.Category.Instance.Cat"
			  >:|||:</a
			  > q) <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:ic:Representable:Representable:30"
		      ></span
		      > (<a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > p, <span class="keyword"
		      >forall</span
		      > (a :: k). ob a =&gt; ob (p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
		      >%</a
		      > a)) =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
		      >Sub</a
		      > p :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Instance.Sub.html#line-59" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L59" 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:ic:Representable:Representable:30"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Instance-Sub.html"
			>Proarrow.Category.Instance.Sub</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-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (b :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob). <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((<a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob -&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-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob). <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-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob -&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-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</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-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (b :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; ((<a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob -&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-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob -&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:ic:Representable:Representable:31"
		      ></span
		      > (<a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > p, <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > q) =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (p <a href="Proarrow-Category-Instance-Product.html#t::-42--42-:" title="Proarrow.Category.Instance.Product"
		      >:**:</a
		      > q :: (k1, k2) -&gt; (j1, j2) -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Instance.Product.html#line-52" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L52" 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:ic:Representable:Representable:31"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Instance-Product.html"
			>Proarrow.Category.Instance.Product</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 :: (k1, k2)) (b :: (j1, j2)). (p <a href="Proarrow-Category-Instance-Product.html#t::-42--42-:" title="Proarrow.Category.Instance.Product"
			  >:**:</a
			  > q) a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((p <a href="Proarrow-Category-Instance-Product.html#t::-42--42-:" title="Proarrow.Category.Instance.Product"
			  >:**:</a
			  > q) <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 :: (j1, j2)) (a :: (k1, k2)). <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
			  > ((p <a href="Proarrow-Category-Instance-Product.html#t::-42--42-:" title="Proarrow.Category.Instance.Product"
			  >:**:</a
			  > q) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; (p <a href="Proarrow-Category-Instance-Product.html#t::-42--42-:" title="Proarrow.Category.Instance.Product"
			  >:**:</a
			  > q) 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 :: (j1, j2)) (b :: (j1, j2)). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; ((p <a href="Proarrow-Category-Instance-Product.html#t::-42--42-:" title="Proarrow.Category.Instance.Product"
			  >:**:</a
			  > q) <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
			  > ((p <a href="Proarrow-Category-Instance-Product.html#t::-42--42-:" title="Proarrow.Category.Instance.Product"
			  >:**:</a
			  > q) <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:ic:Representable:Representable:32"
		      ></span
		      > (<a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > p, <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > f, <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > g, <a href="file:///Users/sjoerdvisscher/.cabal/store/ghc-9.10.1-64dd/rflctn-2.1.9-604a0931/share/doc/html/Data-Reflection.html#t:Reifies" title="Data.Reflection"
		      >Reifies</a
		      > s (<a href="Proarrow-Category-Bicategory-Prof.html#t:ProfSq" title="Proarrow.Category.Bicategory.Prof"
		      >ProfSq</a
		      > p (<a href="Proarrow-Profunctor-Identity.html#t:Id" title="Proarrow.Profunctor.Identity"
		      >Id</a
		      > :: k2 -&gt; k2 -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >) f g)) =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Category-Bicategory-Prof.html#t:CotabulatorFactorizer" title="Proarrow.Category.Bicategory.Prof"
		      >CotabulatorFactorizer</a
		      > s p f g :: k2 -&gt; <a href="Proarrow-Category-Instance-Collage.html#t:COLLAGE" title="Proarrow.Category.Instance.Collage"
		      >COLLAGE</a
		      > p -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Bicategory.Prof.html#line-230" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L230" 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:ic:Representable:Representable:32"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Bicategory-Prof.html"
			>Proarrow.Category.Bicategory.Prof</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 :: k2) (b :: <a href="Proarrow-Category-Instance-Collage.html#t:COLLAGE" title="Proarrow.Category.Instance.Collage"
			  >COLLAGE</a
			  > p). <a href="Proarrow-Category-Bicategory-Prof.html#t:CotabulatorFactorizer" title="Proarrow.Category.Bicategory.Prof"
			  >CotabulatorFactorizer</a
			  > s p f g a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Category-Bicategory-Prof.html#t:CotabulatorFactorizer" title="Proarrow.Category.Bicategory.Prof"
			  >CotabulatorFactorizer</a
			  > s p f g <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-Instance-Collage.html#t:COLLAGE" title="Proarrow.Category.Instance.Collage"
			  >COLLAGE</a
			  > p) (a :: k2). <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-Bicategory-Prof.html#t:CotabulatorFactorizer" title="Proarrow.Category.Bicategory.Prof"
			  >CotabulatorFactorizer</a
			  > s p f g <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Category-Bicategory-Prof.html#t:CotabulatorFactorizer" title="Proarrow.Category.Bicategory.Prof"
			  >CotabulatorFactorizer</a
			  > s p f g 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-Instance-Collage.html#t:COLLAGE" title="Proarrow.Category.Instance.Collage"
			  >COLLAGE</a
			  > p) (b :: <a href="Proarrow-Category-Instance-Collage.html#t:COLLAGE" title="Proarrow.Category.Instance.Collage"
			  >COLLAGE</a
			  > p). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Category-Bicategory-Prof.html#t:CotabulatorFactorizer" title="Proarrow.Category.Bicategory.Prof"
			  >CotabulatorFactorizer</a
			  > s p f g <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-Bicategory-Prof.html#t:CotabulatorFactorizer" title="Proarrow.Category.Bicategory.Prof"
			  >CotabulatorFactorizer</a
			  > s p f g <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
		></table
	      ></details
	    ></div
	  ></div
	><div class="top"
	><p class="src"
	  ><a id="v:repObj" class="def"
	    >repObj</a
	    > :: <span class="keyword"
	    >forall</span
	    > {j} {k} (p :: j <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
	    >+-&gt;</a
	    > k) (a :: j). (<a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
	    >Representable</a
	    > p, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
	    >Ob</a
	    > a) =&gt; <a href="Proarrow-Core.html#t:Obj" title="Proarrow.Core"
	    >Obj</a
	    > (p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
	    >%</a
	    > a) <a href="src/Proarrow.Profunctor.Representable.html#repObj" class="link"
	    >Source</a
	    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L21" class="link"
	    >Comments</a
	    > <a href="#v:repObj" class="selflink"
	    >#</a
	    ></p
	  ></div
	><div class="top"
	><p class="src"
	  ><a id="v:withRepObj" class="def"
	    >withRepObj</a
	    > :: <span class="keyword"
	    >forall</span
	    > {j} {k} (p :: j <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
	    >+-&gt;</a
	    > k) (a :: j) r. (<a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
	    >Representable</a
	    > p, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
	    >Ob</a
	    > a) =&gt; (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
	    >Ob</a
	    > (p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
	    >%</a
	    > a) =&gt; r) -&gt; r <a href="src/Proarrow.Profunctor.Representable.html#withRepObj" class="link"
	    >Source</a
	    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L24" class="link"
	    >Comments</a
	    > <a href="#v:withRepObj" class="selflink"
	    >#</a
	    ></p
	  ></div
	><div class="top"
	><p class="src"
	  ><a id="v:dimapRep" class="def"
	    >dimapRep</a
	    > :: <span class="keyword"
	    >forall</span
	    > {j} {k} p (a :: k) (b :: j) (c :: k) (d :: j). <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
	    >Representable</a
	    > p =&gt; (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; p a b -&gt; p c d <a href="src/Proarrow.Profunctor.Representable.html#dimapRep" class="link"
	    >Source</a
	    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L27" class="link"
	    >Comments</a
	    > <a href="#v:dimapRep" class="selflink"
	    >#</a
	    ></p
	  ></div
	><div class="top"
	><p class="src"
	  ><span class="keyword"
	    >data</span
	    > <a id="t:RepStar" class="def"
	    >RepStar</a
	    > (p :: j <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
	    >+-&gt;</a
	    > k) (a :: k) (b :: j) <span class="keyword"
	    >where</span
	    > <a href="src/Proarrow.Profunctor.Representable.html#RepStar" class="link"
	    >Source</a
	    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L30" class="link"
	    >Comments</a
	    > <a href="#t:RepStar" class="selflink"
	    >#</a
	    ></p
	  ><div class="subs constructors"
	  ><p class="caption"
	    >Constructors</p
	    ><table
	    ><tr
	      ><td class="src"
		><a id="v:RepStar" class="def"
		  >RepStar</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} (b :: j) (a :: k) (p :: j <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > k). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b</dfn
			><div class="doc empty"
			>&nbsp;</div
			></li
		      ><li
		      ><dfn class="src"
			>=&gt; { <a id="v:unRepStar" class="def"
			  >unRepStar</a
			  > :: a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)</dfn
			><div class="doc empty"
			>&nbsp;</div
			></li
		      ><li
		      ><dfn class="src"
			>&nbsp;&nbsp;&nbsp;} -&gt; <a href="Proarrow-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</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:RepStar"
	    >Instances</h4
	    ><details id="i:RepStar" 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:RepStar:Profunctor:1"
		      ></span
		      > <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > p =&gt; <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > (<a href="Proarrow-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
		      >RepStar</a
		      > p :: j -&gt; k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Profunctor.Representable.html#line-32" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L32" class="link"
		    >Comments</a
		    > <a href="#t:RepStar" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:RepStar:Profunctor:1"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Representable.html"
			>Proarrow.Profunctor.Representable</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 :: j) (a :: j) (b :: k) (d :: 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-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</a
			  > p a b -&gt; <a href="Proarrow-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</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 :: j) (b :: 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-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</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:RepStar:Representable:2"
		      ></span
		      > <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > p =&gt; <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > (<a href="Proarrow-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
		      >RepStar</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.Profunctor.Representable.html#line-35" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L35" class="link"
		    >Comments</a
		    > <a href="#t:RepStar" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:RepStar:Representable:2"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Representable.html"
			>Proarrow.Profunctor.Representable</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 :: j). <a href="Proarrow-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</a
			  > p a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</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 :: j) (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-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</a
			  > p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</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 :: j) (b :: j). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</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-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			  >RepStar</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:RepStar:-37-:3"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (<a href="Proarrow-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
		      >RepStar</a
		      > p :: k -&gt; j -&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 :: j)</span
		    > <a href="src/Proarrow.Profunctor.Representable.html#line-36" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L36" class="link"
		    >Comments</a
		    > <a href="#t:RepStar" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:RepStar:-37-:3"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Representable.html"
			>Proarrow.Profunctor.Representable</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> (<a href="Proarrow-Profunctor-Representable.html#t:RepStar" title="Proarrow.Profunctor.Representable"
			>RepStar</a
			> p :: k -&gt; j -&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 :: j) = p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			>%</a
			> a</div
		      ></details
		    ></td
		  ></tr
		></table
	      ></details
	    ></div
	  ></div
	><div class="top"
	><p class="src"
	  ><span class="keyword"
	    >data</span
	    > <a id="t:CorepStar" class="def"
	    >CorepStar</a
	    > (p :: k <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
	    >+-&gt;</a
	    > j) (a :: k) (b :: j) <span class="keyword"
	    >where</span
	    > <a href="src/Proarrow.Profunctor.Representable.html#CorepStar" class="link"
	    >Source</a
	    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L42" class="link"
	    >Comments</a
	    > <a href="#t:CorepStar" class="selflink"
	    >#</a
	    ></p
	  ><div class="subs constructors"
	  ><p class="caption"
	    >Constructors</p
	    ><table
	    ><tr
	      ><td class="src"
		><a id="v:CorepStar" class="def"
		  >CorepStar</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} (b :: j) (a :: k) (p :: k <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > j). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b</dfn
			><div class="doc empty"
			>&nbsp;</div
			></li
		      ><li
		      ><dfn class="src"
			>=&gt; { <a id="v:unCorepStar" class="def"
			  >unCorepStar</a
			  > :: a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (p <a href="Proarrow-Profunctor-Corepresentable.html#t:-37--37-" title="Proarrow.Profunctor.Corepresentable"
			  >%%</a
			  > b)</dfn
			><div class="doc empty"
			>&nbsp;</div
			></li
		      ><li
		      ><dfn class="src"
			>&nbsp;&nbsp;&nbsp;} -&gt; <a href="Proarrow-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</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:CorepStar"
	    >Instances</h4
	    ><details id="i:CorepStar" 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:CorepStar:Profunctor:1"
		      ></span
		      > <a href="Proarrow-Profunctor-Corepresentable.html#t:Corepresentable" title="Proarrow.Profunctor.Corepresentable"
		      >Corepresentable</a
		      > p =&gt; <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > (<a href="Proarrow-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
		      >CorepStar</a
		      > p :: j -&gt; k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Profunctor.Representable.html#line-44" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L44" class="link"
		    >Comments</a
		    > <a href="#t:CorepStar" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:CorepStar:Profunctor:1"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Representable.html"
			>Proarrow.Profunctor.Representable</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 :: j) (a :: j) (b :: k) (d :: 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-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</a
			  > p a b -&gt; <a href="Proarrow-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</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 :: j) (b :: 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-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</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:CorepStar:Representable:2"
		      ></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-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
		      >CorepStar</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.Profunctor.Representable.html#line-47" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L47" class="link"
		    >Comments</a
		    > <a href="#t:CorepStar" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:CorepStar:Representable:2"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Representable.html"
			>Proarrow.Profunctor.Representable</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 :: j). <a href="Proarrow-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</a
			  > p a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (<a href="Proarrow-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</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 :: j) (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-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</a
			  > p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			  >%</a
			  > b)) -&gt; <a href="Proarrow-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</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 :: j) (b :: j). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</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-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			  >CorepStar</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:CorepStar:-37-:3"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (<a href="Proarrow-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
		      >CorepStar</a
		      > p :: k -&gt; j -&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 :: j)</span
		    > <a href="src/Proarrow.Profunctor.Representable.html#line-48" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L48" class="link"
		    >Comments</a
		    > <a href="#t:CorepStar" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:CorepStar:-37-:3"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Representable.html"
			>Proarrow.Profunctor.Representable</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> (<a href="Proarrow-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
			>CorepStar</a
			> p :: k -&gt; j -&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 :: j) = 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:RepCostar" class="def"
	    >RepCostar</a
	    > (p :: k <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
	    >+-&gt;</a
	    > j) (a :: k) (b :: j) <span class="keyword"
	    >where</span
	    > <a href="src/Proarrow.Profunctor.Representable.html#RepCostar" class="link"
	    >Source</a
	    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L54" class="link"
	    >Comments</a
	    > <a href="#t:RepCostar" class="selflink"
	    >#</a
	    ></p
	  ><div class="subs constructors"
	  ><p class="caption"
	    >Constructors</p
	    ><table
	    ><tr
	      ><td class="src"
		><a id="v:RepCostar" class="def"
		  >RepCostar</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} (a :: k) (p :: k <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
			  >+-&gt;</a
			  > j) (b :: j). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a</dfn
			><div class="doc empty"
			>&nbsp;</div
			></li
		      ><li
		      ><dfn class="src"
			>=&gt; { <a id="v:unRepCostar" class="def"
			  >unRepCostar</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
			  > b</dfn
			><div class="doc empty"
			>&nbsp;</div
			></li
		      ><li
		      ><dfn class="src"
			>&nbsp;&nbsp;&nbsp;} -&gt; <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</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:RepCostar"
	    >Instances</h4
	    ><details id="i:RepCostar" 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:RepCostar:Adjunction:1"
		      ></span
		      > <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > f =&gt; <a href="Proarrow-Adjunction.html#t:Adjunction" title="Proarrow.Adjunction"
		      >Adjunction</a
		      > (f :: k <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
		      >+-&gt;</a
		      > j) (<a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
		      >RepCostar</a
		      > f :: 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.Adjunction.html#line-56" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L56" 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:RepCostar:Adjunction:1"
		    ><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 :: k). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a =&gt; (<a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > f <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > f) 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
			  > :: (f <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > f) <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
			  > j) <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:RepCostar:MonoidalProfunctor:2"
		      ></span
		      > <a href="Proarrow-Category-Monoidal.html#t:MonoidalProfunctor" title="Proarrow.Category.Monoidal"
		      >MonoidalProfunctor</a
		      > (<a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
		      >RepCostar</a
		      > <a href="Proarrow-Category-Instance-Linear.html#t:Free" title="Proarrow.Category.Instance.Linear"
		      >Free</a
		      >)</span
		    > <a href="src/Proarrow.Category.Instance.Linear.html#line-128" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L128" class="link"
		    >Comments</a
		    > <a href="#t:MonoidalProfunctor" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc"
		  ><p
		    >Free is also a colax monoidal functor</p
		    ></td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:RepCostar:MonoidalProfunctor:2"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Instance-Linear.html"
			>Proarrow.Category.Instance.Linear</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:par0"
			  >par0</a
			  > :: <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > <a href="Proarrow-Category-Instance-Linear.html#t:Free" title="Proarrow.Category.Instance.Linear"
			  >Free</a
			  > (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >) (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Instance-Linear.html#t:LINEAR" title="Proarrow.Category.Instance.Linear"
			  >LINEAR</a
			  >) <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 (x2 :: <a href="Proarrow-Category-Instance-Linear.html#t:LINEAR" title="Proarrow.Category.Instance.Linear"
			  >LINEAR</a
			  >) y1 (y2 :: <a href="Proarrow-Category-Instance-Linear.html#t:LINEAR" title="Proarrow.Category.Instance.Linear"
			  >LINEAR</a
			  >). <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > <a href="Proarrow-Category-Instance-Linear.html#t:Free" title="Proarrow.Category.Instance.Linear"
			  >Free</a
			  > x1 x2 -&gt; <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > <a href="Proarrow-Category-Instance-Linear.html#t:Free" title="Proarrow.Category.Instance.Linear"
			  >Free</a
			  > y1 y2 -&gt; <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > <a href="Proarrow-Category-Instance-Linear.html#t:Free" title="Proarrow.Category.Instance.Linear"
			  >Free</a
			  > (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:RepCostar:MonoidalProfunctor:3"
		      ></span
		      > <a href="Proarrow-Category-Monoidal.html#t:MonoidalProfunctor" title="Proarrow.Category.Monoidal"
		      >MonoidalProfunctor</a
		      > (<a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
		      >RepCostar</a
		      > <a href="Proarrow-Category-Instance-Linear.html#t:Forget" title="Proarrow.Category.Instance.Linear"
		      >Forget</a
		      >)</span
		    > <a href="src/Proarrow.Category.Instance.Linear.html#line-90" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L90" class="link"
		    >Comments</a
		    > <a href="#t:MonoidalProfunctor" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc"
		  ><p
		    >Forget is also a colax monoidal functor</p
		    ></td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:RepCostar:MonoidalProfunctor:3"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Instance-Linear.html"
			>Proarrow.Category.Instance.Linear</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:par0"
			  >par0</a
			  > :: <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > <a href="Proarrow-Category-Instance-Linear.html#t:Forget" title="Proarrow.Category.Instance.Linear"
			  >Forget</a
			  > (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Instance-Linear.html#t:LINEAR" title="Proarrow.Category.Instance.Linear"
			  >LINEAR</a
			  >) (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			  >Type</a
			  >) <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-Instance-Linear.html#t:LINEAR" title="Proarrow.Category.Instance.Linear"
			  >LINEAR</a
			  >) x2 (y1 :: <a href="Proarrow-Category-Instance-Linear.html#t:LINEAR" title="Proarrow.Category.Instance.Linear"
			  >LINEAR</a
			  >) y2. <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > <a href="Proarrow-Category-Instance-Linear.html#t:Forget" title="Proarrow.Category.Instance.Linear"
			  >Forget</a
			  > x1 x2 -&gt; <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > <a href="Proarrow-Category-Instance-Linear.html#t:Forget" title="Proarrow.Category.Instance.Linear"
			  >Forget</a
			  > y1 y2 -&gt; <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > <a href="Proarrow-Category-Instance-Linear.html#t:Forget" title="Proarrow.Category.Instance.Linear"
			  >Forget</a
			  > (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:RepCostar:MonoidalProfunctor:4"
		      ></span
		      > (<a href="Proarrow-Category-Monoidal.html#t:MonoidalProfunctor" title="Proarrow.Category.Monoidal"
		      >MonoidalProfunctor</a
		      > r, <a href="Proarrow-Adjunction.html#t:Adjunction" title="Proarrow.Adjunction"
		      >Adjunction</a
		      > l r, <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > l, <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > r, <a href="Proarrow-Category-Monoidal.html#t:Monoidal" title="Proarrow.Category.Monoidal"
		      >Monoidal</a
		      > j, <a href="Proarrow-Category-Monoidal.html#t:Monoidal" title="Proarrow.Category.Monoidal"
		      >Monoidal</a
		      > k) =&gt; <a href="Proarrow-Category-Monoidal.html#t:MonoidalProfunctor" title="Proarrow.Category.Monoidal"
		      >MonoidalProfunctor</a
		      > (<a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
		      >RepCostar</a
		      > l :: 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.Adjunction.html#line-95" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L95" class="link"
		    >Comments</a
		    > <a href="#t:MonoidalProfunctor" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:RepCostar:MonoidalProfunctor:4"
		    ><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:par0"
			  >par0</a
			  > :: <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > l (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: k) (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: j) <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 :: k) (x2 :: j) (y1 :: k) (y2 :: j). <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > l x1 x2 -&gt; <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > l y1 y2 -&gt; <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > l (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:RepCostar:Profunctor:5"
		      ></span
		      > <a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
		      >Representable</a
		      > p =&gt; <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > (<a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
		      >RepCostar</a
		      > p :: j -&gt; k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Profunctor.Representable.html#line-56" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L56" class="link"
		    >Comments</a
		    > <a href="#t:RepCostar" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:RepCostar:Profunctor:5"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Representable.html"
			>Proarrow.Profunctor.Representable</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 :: j) (a :: j) (b :: k) (d :: 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-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > p a b -&gt; <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</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 :: j) (b :: 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-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</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:RepCostar:Corepresentable:6"
		      ></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-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
		      >RepCostar</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.Profunctor.Representable.html#line-59" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L59" class="link"
		    >Comments</a
		    > <a href="#t:RepCostar" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:RepCostar:Corepresentable:6"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Representable.html"
			>Proarrow.Profunctor.Representable</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 :: k) (b :: j). <a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</a
			  > p a b -&gt; (<a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</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 :: k) (b :: j). <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a =&gt; ((<a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</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-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</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 :: k) (b :: k). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (<a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</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-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			  >RepCostar</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:RepCostar:-37--37-:7"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (<a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
		      >RepCostar</a
		      > p :: k -&gt; j -&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 :: k)</span
		    > <a href="src/Proarrow.Profunctor.Representable.html#line-60" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L60" class="link"
		    >Comments</a
		    > <a href="#t:RepCostar" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:RepCostar:-37--37-:7"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Profunctor-Representable.html"
			>Proarrow.Profunctor.Representable</a
			></p
		      > <div class="src"
		      ><span class="keyword"
			>type</span
			> (<a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
			>RepCostar</a
			> p :: k -&gt; j -&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 :: k) = p <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			>%</a
			> a</div
		      ></details
		    ></td
		  ></tr
		></table
	      ></details
	    ></div
	  ></div
	><div class="top"
	><p class="src"
	  ><a id="v:flipRep" class="def"
	    >flipRep</a
	    > :: <span class="keyword"
	    >forall</span
	    > {k1} {k} (p :: k1 <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
	    >+-&gt;</a
	    > k) (q :: k <a href="Proarrow-Core.html#t:-43--45--62-" title="Proarrow.Core"
	    >+-&gt;</a
	    > k1). (<a href="Proarrow-Profunctor-Representable.html#t:Representable" title="Proarrow.Profunctor.Representable"
	    >Representable</a
	    > p, <a href="Proarrow-Profunctor-Corepresentable.html#t:Corepresentable" title="Proarrow.Profunctor.Corepresentable"
	    >Corepresentable</a
	    > q) =&gt; (<a href="Proarrow-Profunctor-Representable.html#t:RepCostar" title="Proarrow.Profunctor.Representable"
	    >RepCostar</a
	    > p <a href="Proarrow-Core.html#t::-126--62-" title="Proarrow.Core"
	    >:~&gt;</a
	    > q) -&gt; <a href="Proarrow-Profunctor-Representable.html#t:CorepStar" title="Proarrow.Profunctor.Representable"
	    >CorepStar</a
	    > q <a href="Proarrow-Core.html#t::-126--62-" title="Proarrow.Core"
	    >:~&gt;</a
	    > p <a href="src/Proarrow.Profunctor.Representable.html#flipRep" class="link"
	    >Source</a
	    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L66" class="link"
	    >Comments</a
	    > <a href="#v:flipRep" class="selflink"
	    >#</a
	    ></p
	  ></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
>