docs/Proarrow-Category-Instance-Sub.html

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml"
><head
  ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
     /><meta name="viewport" content="width=device-width, initial-scale=1"
     /><title
    >Proarrow.Category.Instance.Sub</title
    ><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial"
     /><link rel="stylesheet" type="text/css" href="quick-jump.css"
     /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700"
     /><script src="haddock-bundle.min.js" async="async" type="text/javascript"
    ></script
    ><script type="text/x-mathjax-config"
    >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script
    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
    ></script
    ></head
  ><body
  ><div id="package-header"
    ><span class="caption"
      >proarrow-0: Category theory with a central role for profunctors</span
      ><ul class="links" id="page-menu"
      ><li
	><a href="src/Proarrow.Category.Instance.Sub.html"
	  >Source</a
	  ></li
	><li
	><a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs"
	  >User Comments</a
	  ></li
	><li
	><a href="index.html"
	  >Contents</a
	  ></li
	><li
	><a href="doc-index.html"
	  >Index</a
	  ></li
	></ul
      ></div
    ><div id="content"
    ><div id="module-header"
      ><table class="info"
	><tr
	  ><th
	    >Safe Haskell</th
	    ><td
	    >None</td
	    ></tr
	  ><tr
	  ><th
	    >Language</th
	    ><td
	    >Haskell2010</td
	    ></tr
	  ></table
	><p class="caption"
	>Proarrow.Category.Instance.Sub</p
	></div
      ><div id="interface"
      ><h1
	>Documentation</h1
	><div class="top"
	><p class="src"
	  ><span class="keyword"
	    >data</span
	    > <a id="t:SUBCAT" class="def"
	    >SUBCAT</a
	    > (ob :: <a href="Proarrow-Core.html#t:OB" title="Proarrow.Core"
	    >OB</a
	    > k) <a href="src/Proarrow.Category.Instance.Sub.html#SUBCAT" class="link"
	    >Source</a
	    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L11" class="link"
	    >Comments</a
	    > <a href="#t:SUBCAT" class="selflink"
	    >#</a
	    ></p
	  ><div class="subs constructors"
	  ><p class="caption"
	    >Constructors</p
	    ><table
	    ><tr
	      ><td class="src"
		><a id="t:SUB" class="def"
		  >SUB</a
		  > k</td
		><td class="doc empty"
		>&nbsp;</td
		></tr
	      ></table
	    ></div
	  ><div class="subs instances"
	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:SUBCAT"
	    >Instances</h4
	    ><details id="i:SUBCAT" 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:SUBCAT:Strong:1"
		      ></span
		      > (<a href="Proarrow-Category-Monoidal-Action.html#t:MonoidalAction" title="Proarrow.Category.Monoidal.Action"
		      >MonoidalAction</a
		      > m <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >, <a href="Proarrow-Category-Monoidal.html#t:Monoidal" title="Proarrow.Category.Monoidal"
		      >Monoidal</a
		      > (<a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob)) =&gt; <a href="Proarrow-Category-Monoidal-Action.html#t:Strong" title="Proarrow.Category.Monoidal.Action"
		      >Strong</a
		      > (<a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob) (-&gt;)</span
		    > <a href="src/Proarrow.Category.Instance.Sub.html#line-65" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L65" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:Strong:1"
		    ><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:act"
			  >act</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) x y. (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; (x -&gt; y) -&gt; <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > a x -&gt; <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > b y <a href="src/Proarrow.Category.Monoidal.Action.html#act" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal/Action.hs#L14" class="link"
			  >Comments</a
			  > <a href="#v:act" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SUBCAT:Strong:2"
		      ></span
		      > (<a href="Proarrow-Functor.html#t:Functor" title="Proarrow.Functor"
		      >Functor</a
		      > f, <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Control-Applicative.html#t:Applicative" title="Control.Applicative"
		      >Applicative</a
		      > f) =&gt; <a href="Proarrow-Category-Monoidal-Action.html#t:Strong" title="Proarrow.Category.Monoidal.Action"
		      >Strong</a
		      > (<a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Traversable.html#t:Traversable" title="Data.Traversable"
		      >Traversable</a
		      >) (<a href="Proarrow-Profunctor-Star.html#t:Star" title="Proarrow.Profunctor.Star"
		      >Star</a
		      > (<a href="Proarrow-Functor.html#t:Prelude" title="Proarrow.Functor"
		      >Prelude</a
		      > f) :: <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      > -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      > -&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-61" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal/Action.hs#L61" class="link"
		    >Comments</a
		    > <a href="#t:Strong" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:Strong:2"
		    ><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:act"
			  >act</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Traversable.html#t:Traversable" title="Data.Traversable"
			  >Traversable</a
			  >) (b :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Traversable.html#t:Traversable" title="Data.Traversable"
			  >Traversable</a
			  >) x y. (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
			  > (<a href="Proarrow-Functor.html#t:Prelude" title="Proarrow.Functor"
			  >Prelude</a
			  > f) x y -&gt; <a href="Proarrow-Profunctor-Star.html#t:Star" title="Proarrow.Profunctor.Star"
			  >Star</a
			  > (<a href="Proarrow-Functor.html#t:Prelude" title="Proarrow.Functor"
			  >Prelude</a
			  > f) (<a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > a x) (<a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > b y) <a href="src/Proarrow.Category.Monoidal.Action.html#act" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal/Action.hs#L14" class="link"
			  >Comments</a
			  > <a href="#v:act" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SUBCAT:Strong:3"
		      ></span
		      > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Control-Monad.html#t:Monad" title="Control.Monad"
		      >Monad</a
		      > m =&gt; <a href="Proarrow-Category-Monoidal-Action.html#t:Strong" title="Proarrow.Category.Monoidal.Action"
		      >Strong</a
		      > (<a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > (<a href="Proarrow-Category-Monoidal-Optic.html#t:Algebra" title="Proarrow.Category.Monoidal.Optic"
		      >Algebra</a
		      > m)) (<a href="Proarrow-Category-Monoidal-Optic.html#t:Classifying" title="Proarrow.Category.Monoidal.Optic"
		      >Classifying</a
		      > m a b :: <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      > -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      > -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >)</span
		    > <a href="src/Proarrow.Category.Monoidal.Optic.html#line-176" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal/Action.hs#L176" class="link"
		    >Comments</a
		    > <a href="#t:Strong" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:Strong:3"
		    ><summary class="hide-when-js-enabled"
		      >Instance details</summary
		      ><p
		      >Defined in <a href="Proarrow-Category-Monoidal-Optic.html"
			>Proarrow.Category.Monoidal.Optic</a
			></p
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:act"
			  >act</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a0 :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > (<a href="Proarrow-Category-Monoidal-Optic.html#t:Algebra" title="Proarrow.Category.Monoidal.Optic"
			  >Algebra</a
			  > m)) (b0 :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > (<a href="Proarrow-Category-Monoidal-Optic.html#t:Algebra" title="Proarrow.Category.Monoidal.Optic"
			  >Algebra</a
			  > m)) x y. (a0 <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b0) -&gt; <a href="Proarrow-Category-Monoidal-Optic.html#t:Classifying" title="Proarrow.Category.Monoidal.Optic"
			  >Classifying</a
			  > m a b x y -&gt; <a href="Proarrow-Category-Monoidal-Optic.html#t:Classifying" title="Proarrow.Category.Monoidal.Optic"
			  >Classifying</a
			  > m a b (<a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > a0 x) (<a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > b0 y) <a href="src/Proarrow.Category.Monoidal.Action.html#act" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal/Action.hs#L14" class="link"
			  >Comments</a
			  > <a href="#v:act" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SUBCAT:Profunctor:4"
		      ></span
		      > <a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > k =&gt; <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > (<a href="Proarrow-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-11" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L11" class="link"
		    >Comments</a
		    > <a href="#t:Profunctor" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:Profunctor:4"
		    ><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:dimap"
			  >dimap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (c :: k) (a :: k) (b :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (d :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob). (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-Forget.html#t:Forget" title="Proarrow.Profunctor.Forget"
			  >Forget</a
			  > ob a b -&gt; <a href="Proarrow-Profunctor-Forget.html#t:Forget" title="Proarrow.Profunctor.Forget"
			  >Forget</a
			  > ob c d <a href="src/Proarrow.Core.html#dimap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L38" class="link"
			  >Comments</a
			  > <a href="#v:dimap" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-92--92-"
			  >(\\)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: k) (b :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) 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-Forget.html#t:Forget" title="Proarrow.Profunctor.Forget"
			  >Forget</a
			  > ob 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:SUBCAT:Representable:5"
		      ></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:id:SUBCAT:Representable:5"
		    ><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:id:SUBCAT:Representable:6"
		      ></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:id:SUBCAT:Representable:6"
		    ><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:id:SUBCAT:Adjunction:7"
		      ></span
		      > <a href="Proarrow-Profunctor-Free.html#t:HasFree" title="Proarrow.Profunctor.Free"
		      >HasFree</a
		      > ob =&gt; <a href="Proarrow-Adjunction.html#t:Adjunction" title="Proarrow.Adjunction"
		      >Adjunction</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; k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</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.Free.html#line-68" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L68" 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:SUBCAT:Adjunction:7"
		    ><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: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-Forget.html#t:Forget" title="Proarrow.Profunctor.Forget"
			  >Forget</a
			  > ob <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > <a href="Proarrow-Profunctor-Free.html#t:FreeSub" title="Proarrow.Profunctor.Free"
			  >FreeSub</a
			  > ob) a a <a href="src/Proarrow.Adjunction.html#unit" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L24" class="link"
			  >Comments</a
			  > <a href="#v:unit" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:counit"
			  >counit</a
			  > :: (<a href="Proarrow-Profunctor-Free.html#t:FreeSub" title="Proarrow.Profunctor.Free"
			  >FreeSub</a
			  > ob <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > <a href="Proarrow-Profunctor-Forget.html#t:Forget" title="Proarrow.Profunctor.Forget"
			  >Forget</a
			  > ob) <a href="Proarrow-Core.html#t::-126--62-" title="Proarrow.Core"
			  >:~&gt;</a
			  > (<a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >(~&gt;)</a
			  > :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
			  >CAT</a
			  > (<a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob)) <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:SUBCAT:Monoidal:8"
		      ></span
		      > (<a href="Proarrow-Category-Monoidal.html#t:Monoidal" title="Proarrow.Category.Monoidal"
		      >Monoidal</a
		      > k, ob (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
		      >Unit</a
		      > :: k), <span class="keyword"
		      >forall</span
		      > (a :: k) (b :: k). (ob a, ob b) =&gt; <a href="Proarrow-Category-Instance-Sub.html#t:IsObMult" title="Proarrow.Category.Instance.Sub"
		      >IsObMult</a
		      > ob a b) =&gt; <a href="Proarrow-Category-Monoidal.html#t:Monoidal" title="Proarrow.Category.Monoidal"
		      >Monoidal</a
		      > (<a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob)</span
		    > <a href="src/Proarrow.Category.Instance.Sub.html#line-45" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L45" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:Monoidal:8"
		    ><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 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:UnitSUBCAT:Unit:1"
				></span
				> <span class="keyword"
				>type</span
				> <a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
				>Unit</a
				></span
			      ></td
			    ><td class="doc empty"
			    >&nbsp;</td
			    ></tr
			  ><tr
			  ><td colspan="2"
			    ><details id="i:if:D:R:UnitSUBCAT:Unit:1"
			      ><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="src"
				><span class="keyword"
				  >type</span
				  > <a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
				  >Unit</a
				  > = '<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
				  >SUB</a
				  > (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
				  >Unit</a
				  > :: k) :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
				  >SUBCAT</a
				  > ob</div
				></details
			      ></td
			    ></tr
			  ></table
			></div
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:withOb2"
			  >withOb2</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-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) r. (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > b) =&gt; r) -&gt; r <a href="src/Proarrow.Category.Monoidal.html#withOb2" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L21" class="link"
			  >Comments</a
			  > <a href="#v:withOb2" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:leftUnitor"
			  >leftUnitor</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-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
			  > a =&gt; ((<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > a) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a <a href="src/Proarrow.Category.Monoidal.html#leftUnitor" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L22" class="link"
			  >Comments</a
			  > <a href="#v:leftUnitor" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:leftUnitorInv"
			  >leftUnitorInv</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-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
			  > a =&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > a) <a href="src/Proarrow.Category.Monoidal.html#leftUnitorInv" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L23" class="link"
			  >Comments</a
			  > <a href="#v:leftUnitorInv" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:rightUnitor"
			  >rightUnitor</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-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
			  > a =&gt; (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob)) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a <a href="src/Proarrow.Category.Monoidal.html#rightUnitor" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L24" class="link"
			  >Comments</a
			  > <a href="#v:rightUnitor" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:rightUnitorInv"
			  >rightUnitorInv</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-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
			  > a =&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob)) <a href="src/Proarrow.Category.Monoidal.html#rightUnitorInv" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L25" class="link"
			  >Comments</a
			  > <a href="#v:rightUnitorInv" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:associator"
			  >associator</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-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) (c :: <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
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > c) =&gt; ((a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > b) <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > c) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > (b <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > c)) <a href="src/Proarrow.Category.Monoidal.html#associator" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L26" class="link"
			  >Comments</a
			  > <a href="#v:associator" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:associatorInv"
			  >associatorInv</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-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) (c :: <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
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > c) =&gt; (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > (b <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > c)) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > ((a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > b) <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > c) <a href="src/Proarrow.Category.Monoidal.html#associatorInv" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L27" class="link"
			  >Comments</a
			  > <a href="#v:associatorInv" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SUBCAT:SymMonoidal:9"
		      ></span
		      > (<a href="Proarrow-Category-Monoidal.html#t:SymMonoidal" title="Proarrow.Category.Monoidal"
		      >SymMonoidal</a
		      > k, ob (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
		      >Unit</a
		      > :: k), <span class="keyword"
		      >forall</span
		      > (a :: k) (b :: k). (ob a, ob b) =&gt; <a href="Proarrow-Category-Instance-Sub.html#t:IsObMult" title="Proarrow.Category.Instance.Sub"
		      >IsObMult</a
		      > ob a b) =&gt; <a href="Proarrow-Category-Monoidal.html#t:SymMonoidal" title="Proarrow.Category.Monoidal"
		      >SymMonoidal</a
		      > (<a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob)</span
		    > <a href="src/Proarrow.Category.Instance.Sub.html#line-56" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L56" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:SymMonoidal:9"
		    ><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:swap"
			  >swap</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-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > b) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > (b <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > a) <a href="src/Proarrow.Category.Monoidal.html#swap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L66" class="link"
			  >Comments</a
			  > <a href="#v:swap" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SUBCAT:CategoryOf:10"
		      ></span
		      > <a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > k =&gt; <a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > (<a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob)</span
		    > <a href="src/Proarrow.Category.Instance.Sub.html#line-27" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L27" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc"
		  ><p
		    >The subcategory with objects with instances of the given constraint <code
		      >ob</code
		      >.</p
		    ></td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:CategoryOf:10"
		    ><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 associated-types"
		      ><p class="caption"
			>Associated Types</p
			><table
			><tr
			  ><td class="src clearfix"
			    ><span class="inst-left"
			      ><span class="instance details-toggle-control details-toggle" data-details-id="i:if:D:R:-126--62-SUBCAT:-126--62-:1"
				></span
				> <span class="keyword"
				>type</span
				> <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
				>(~&gt;)</a
				></span
			      ></td
			    ><td class="doc empty"
			    >&nbsp;</td
			    ></tr
			  ><tr
			  ><td colspan="2"
			    ><details id="i:if:D:R:-126--62-SUBCAT:-126--62-:1"
			      ><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="src"
				><span class="keyword"
				  >type</span
				  > <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
				  > (<a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
				  >(~&gt;)</a
				  > :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
				  >CAT</a
				  > k) :: <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
				  ></div
				></details
			      ></td
			    ></tr
			  ></table
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SUBCAT:MonoidalAction:11"
		      ></span
		      > (<a href="Proarrow-Category-Monoidal-Action.html#t:MonoidalAction" title="Proarrow.Category.Monoidal.Action"
		      >MonoidalAction</a
		      > m <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
		      >Type</a
		      >, <a href="Proarrow-Category-Monoidal.html#t:Monoidal" title="Proarrow.Category.Monoidal"
		      >Monoidal</a
		      > (<a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob)) =&gt; <a href="Proarrow-Category-Monoidal-Action.html#t:MonoidalAction" title="Proarrow.Category.Monoidal.Action"
		      >MonoidalAction</a
		      > (<a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob) <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-67" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L67" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:MonoidalAction:11"
		    ><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:unitor"
			  >unitor</a
			  > :: <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > x =&gt; <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) x <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > x <a href="src/Proarrow.Category.Monoidal.Action.html#unitor" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal/Action.hs#L19" class="link"
			  >Comments</a
			  > <a href="#v:unitor" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:unitorInv"
			  >unitorInv</a
			  > :: <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > x =&gt; x <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) x <a href="src/Proarrow.Category.Monoidal.Action.html#unitorInv" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal/Action.hs#L20" class="link"
			  >Comments</a
			  > <a href="#v:unitorInv" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:multiplicator"
			  >multiplicator</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-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) x. (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > x) =&gt; <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > a (<a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > b x) <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > b) x <a href="src/Proarrow.Category.Monoidal.Action.html#multiplicator" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal/Action.hs#L21" class="link"
			  >Comments</a
			  > <a href="#v:multiplicator" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:multiplicatorInv"
			  >multiplicatorInv</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-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) x. (<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > x) =&gt; <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > b) x <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > a (<a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			  >Act</a
			  > b x) <a href="src/Proarrow.Category.Monoidal.Action.html#multiplicatorInv" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal/Action.hs#L22" class="link"
			  >Comments</a
			  > <a href="#v:multiplicatorInv" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SUBCAT:Profunctor:12"
		      ></span
		      > <a href="Proarrow-Profunctor-Cofree.html#t:HasCofree" title="Proarrow.Profunctor.Cofree"
		      >HasCofree</a
		      > ob =&gt; <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</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; k -&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-32" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L32" class="link"
		    >Comments</a
		    > <a href="#t:Profunctor" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:Profunctor:12"
		    ><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:dimap"
			  >dimap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (c :: <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) (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-Cofree.html#t:CofreeSub" title="Proarrow.Profunctor.Cofree"
			  >CofreeSub</a
			  > ob a b -&gt; <a href="Proarrow-Profunctor-Cofree.html#t:CofreeSub" title="Proarrow.Profunctor.Cofree"
			  >CofreeSub</a
			  > ob c d <a href="src/Proarrow.Core.html#dimap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L38" class="link"
			  >Comments</a
			  > <a href="#v:dimap" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-92--92-"
			  >(\\)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (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-Cofree.html#t:CofreeSub" title="Proarrow.Profunctor.Cofree"
			  >CofreeSub</a
			  > ob 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:SUBCAT:Profunctor:13"
		      ></span
		      > <a href="Proarrow-Profunctor-Free.html#t:HasFree" title="Proarrow.Profunctor.Free"
		      >HasFree</a
		      > ob =&gt; <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</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; k -&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-58" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L58" class="link"
		    >Comments</a
		    > <a href="#t:Profunctor" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:Profunctor:13"
		    ><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:dimap"
			  >dimap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (c :: <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) (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-Free.html#t:FreeSub" title="Proarrow.Profunctor.Free"
			  >FreeSub</a
			  > ob a b -&gt; <a href="Proarrow-Profunctor-Free.html#t:FreeSub" title="Proarrow.Profunctor.Free"
			  >FreeSub</a
			  > ob c d <a href="src/Proarrow.Core.html#dimap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L38" class="link"
			  >Comments</a
			  > <a href="#v:dimap" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-92--92-"
			  >(\\)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (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-Free.html#t:FreeSub" title="Proarrow.Profunctor.Free"
			  >FreeSub</a
			  > ob 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:SUBCAT:Representable:14"
		      ></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:id:SUBCAT:Representable:14"
		    ><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:id:SUBCAT:Adjunction:15"
		      ></span
		      > <a href="Proarrow-Profunctor-Cofree.html#t:HasCofree" title="Proarrow.Profunctor.Cofree"
		      >HasCofree</a
		      > ob =&gt; <a href="Proarrow-Adjunction.html#t:Adjunction" title="Proarrow.Adjunction"
		      >Adjunction</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
		      >) (<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; k -&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-42" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L42" 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:SUBCAT:Adjunction:15"
		    ><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:unit"
			  >unit</a
			  > :: <span class="keyword"
			  >forall</span
			  > (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
			  > a =&gt; (<a href="Proarrow-Profunctor-Cofree.html#t:CofreeSub" title="Proarrow.Profunctor.Cofree"
			  >CofreeSub</a
			  > ob <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > <a href="Proarrow-Profunctor-Forget.html#t:Forget" title="Proarrow.Profunctor.Forget"
			  >Forget</a
			  > ob) a a <a href="src/Proarrow.Adjunction.html#unit" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L24" class="link"
			  >Comments</a
			  > <a href="#v:unit" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:counit"
			  >counit</a
			  > :: (<a href="Proarrow-Profunctor-Forget.html#t:Forget" title="Proarrow.Profunctor.Forget"
			  >Forget</a
			  > ob <a href="Proarrow-Profunctor-Composition.html#t::.:" title="Proarrow.Profunctor.Composition"
			  >:.:</a
			  > <a href="Proarrow-Profunctor-Cofree.html#t:CofreeSub" title="Proarrow.Profunctor.Cofree"
			  >CofreeSub</a
			  > ob) <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
			  > k) <a href="src/Proarrow.Adjunction.html#counit" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L25" class="link"
			  >Comments</a
			  > <a href="#v:counit" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SUBCAT:MonoidalProfunctor:16"
		      ></span
		      > (<a href="Proarrow-Category-Monoidal.html#t:MonoidalProfunctor" title="Proarrow.Category.Monoidal"
		      >MonoidalProfunctor</a
		      > p, ob (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
		      >Unit</a
		      > :: k), <span class="keyword"
		      >forall</span
		      > (a :: k) (b :: k). (ob a, ob b) =&gt; <a href="Proarrow-Category-Instance-Sub.html#t:IsObMult" title="Proarrow.Category.Instance.Sub"
		      >IsObMult</a
		      > ob a b) =&gt; <a href="Proarrow-Category-Monoidal.html#t:MonoidalProfunctor" title="Proarrow.Category.Monoidal"
		      >MonoidalProfunctor</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-39" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L39" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:MonoidalProfunctor:16"
		    ><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:par0"
			  >par0</a
			  > :: <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) <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-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (x2 :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (y1 :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (y2 :: <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 x1 x2 -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p y1 y2 -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p (x1 <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > y1) (x2 <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > y2) <a href="src/Proarrow.Category.Monoidal.html#par" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L15" class="link"
			  >Comments</a
			  > <a href="#v:par" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SUBCAT:Profunctor:17"
		      ></span
		      > <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > p =&gt; <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > (<a href="Proarrow-Category-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-18" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L18" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:Profunctor:17"
		    ><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:dimap"
			  >dimap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (c :: <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) (b :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (d :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob). (c <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a) -&gt; (b <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > d) -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p a b -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p c d <a href="src/Proarrow.Core.html#dimap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L38" class="link"
			  >Comments</a
			  > <a href="#v:dimap" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-92--92-"
			  >(\\)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-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) r. ((<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; r) -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</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:SUBCAT:Representable:18"
		      ></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/Category/Instance/Sub.hs#L59" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:Representable:18"
		    ><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:id:SUBCAT:Promonad:19"
		      ></span
		      > <a href="Proarrow-Core.html#t:Promonad" title="Proarrow.Core"
		      >Promonad</a
		      > p =&gt; <a href="Proarrow-Core.html#t:Promonad" title="Proarrow.Core"
		      >Promonad</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-22" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L22" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:Promonad:19"
		    ><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:id"
			  >id</a
			  > :: <span class="keyword"
			  >forall</span
			  > (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
			  > a =&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p a a <a href="src/Proarrow.Core.html#id" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L56" class="link"
			  >Comments</a
			  > <a href="#v:id" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:."
			  >(.)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (b :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (c :: <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-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p b c -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p a b -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p a c <a href="src/Proarrow.Core.html#." class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L57" class="link"
			  >Comments</a
			  > <a href="#v:." class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SUBCAT:HasFree:20"
		      ></span
		      > <a href="Proarrow-Profunctor-Free.html#t:HasFree" title="Proarrow.Profunctor.Free"
		      >HasFree</a
		      > (<a href="Proarrow-Category-Instance-Sub.html#t:On" title="Proarrow.Category.Instance.Sub"
		      >On</a
		      > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Monoid.html#t:Monoid" title="Data.Monoid"
		      >Monoid</a
		      > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
		      >Semigroup</a
		      >)</span
		    > <a href="src/Proarrow.Profunctor.Free.html#line-82" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Free.hs#L82" class="link"
		    >Comments</a
		    > <a href="#t:HasFree" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:HasFree:20"
		    ><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 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:FreeSUBCATOn:Free:1"
				></span
				> <span class="keyword"
				>type</span
				> <a href="Proarrow-Profunctor-Free.html#t:Free" title="Proarrow.Profunctor.Free"
				>Free</a
				> (<a href="Proarrow-Category-Instance-Sub.html#t:On" title="Proarrow.Category.Instance.Sub"
				>On</a
				> <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Monoid.html#t:Monoid" title="Data.Monoid"
				>Monoid</a
				> <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
				>Semigroup</a
				>)</span
			      ></td
			    ><td class="doc empty"
			    >&nbsp;</td
			    ></tr
			  ><tr
			  ><td colspan="2"
			    ><details id="i:if:D:R:FreeSUBCATOn:Free:1"
			      ><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="src"
				><span class="keyword"
				  >type</span
				  > <a href="Proarrow-Profunctor-Free.html#t:Free" title="Proarrow.Profunctor.Free"
				  >Free</a
				  > (<a href="Proarrow-Category-Instance-Sub.html#t:On" title="Proarrow.Category.Instance.Sub"
				  >On</a
				  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Monoid.html#t:Monoid" title="Data.Monoid"
				  >Monoid</a
				  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
				  >Semigroup</a
				  >) = <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
				  >Sub</a
				  > (<a href="Proarrow-Profunctor-Star.html#t:Star" title="Proarrow.Profunctor.Star"
				  >Star</a
				  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Maybe.html#t:Maybe" title="Data.Maybe"
				  >Maybe</a
				  >) :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
				  >SUBCAT</a
				  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
				  >Semigroup</a
				  > -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
				  >SUBCAT</a
				  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
				  >Semigroup</a
				  > -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
				  >Type</a
				  ></div
				></details
			      ></td
			    ></tr
			  ></table
			></div
		      > <div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#v:lift-39-"
			  >lift'</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
			  >Semigroup</a
			  >) (b :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
			  >Semigroup</a
			  >). (a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b) -&gt; <a href="Proarrow-Profunctor-Free.html#t:Free" title="Proarrow.Profunctor.Free"
			  >Free</a
			  > (<a href="Proarrow-Category-Instance-Sub.html#t:On" title="Proarrow.Category.Instance.Sub"
			  >On</a
			  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Monoid.html#t:Monoid" title="Data.Monoid"
			  >Monoid</a
			  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
			  >Semigroup</a
			  >) a b <a href="src/Proarrow.Profunctor.Free.html#lift%27" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Free.hs#L45" class="link"
			  >Comments</a
			  > <a href="#v:lift-39-" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:retract-39-"
			  >retract'</a
			  > :: <span class="keyword"
			  >forall</span
			  > (b :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
			  >Semigroup</a
			  >) (a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
			  >Semigroup</a
			  >). <a href="Proarrow-Category-Instance-Sub.html#t:On" title="Proarrow.Category.Instance.Sub"
			  >On</a
			  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Monoid.html#t:Monoid" title="Data.Monoid"
			  >Monoid</a
			  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
			  >Semigroup</a
			  > b =&gt; <a href="Proarrow-Profunctor-Free.html#t:Free" title="Proarrow.Profunctor.Free"
			  >Free</a
			  > (<a href="Proarrow-Category-Instance-Sub.html#t:On" title="Proarrow.Category.Instance.Sub"
			  >On</a
			  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Monoid.html#t:Monoid" title="Data.Monoid"
			  >Monoid</a
			  > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
			  >Semigroup</a
			  >) a b -&gt; a <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > b <a href="src/Proarrow.Profunctor.Free.html#retract%27" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Free.hs#L46" class="link"
			  >Comments</a
			  > <a href="#v:retract-39-" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SUBCAT:-37-:21"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (<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
		      >) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
		      >%</a
		      > (a :: j)</span
		    > <a href="src/Proarrow.Profunctor.Cofree.html#line-37" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L37" class="link"
		    >Comments</a
		    > <a href="#t:-37-" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:-37-:21"
		    ><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="src"
		      ><span class="keyword"
			>type</span
			> (<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
			>) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			>%</a
			> (a :: j) = '<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
			>SUB</a
			> (<a href="Proarrow-Profunctor-Cofree.html#t:Cofree" title="Proarrow.Profunctor.Cofree"
			>Cofree</a
			> ob <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			>%</a
			> a) :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			>SUBCAT</a
			> ob</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:SUBCAT:-37-:22"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (<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
		      >) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
		      >%</a
		      > (a :: j)</span
		    > <a href="src/Proarrow.Profunctor.Free.html#line-63" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Representable.hs#L63" class="link"
		    >Comments</a
		    > <a href="#t:-37-" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:-37-:22"
		    ><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="src"
		      ><span class="keyword"
			>type</span
			> (<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
			>) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			>%</a
			> (a :: j) = '<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
			>SUB</a
			> (<a href="Proarrow-Profunctor-Free.html#t:Free" title="Proarrow.Profunctor.Free"
			>Free</a
			> ob <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			>%</a
			> a) :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			>SUBCAT</a
			> ob</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:SUBCAT:UN:23"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > <a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
		      >UN</a
		      > ('<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
		      >SUB</a
		      > :: j -&gt; <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
		      > k :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob)</span
		    > <a href="src/Proarrow.Category.Instance.Sub.html#line-12" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L12" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:UN:23"
		    ><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="src"
		      ><span class="keyword"
			>type</span
			> <a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
			>SUB</a
			> :: j -&gt; <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
			> k :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			>SUBCAT</a
			> ob) = k</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SUBCAT:Unit:24"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > <a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
		      >Unit</a
		      ></span
		    > <a href="src/Proarrow.Category.Instance.Sub.html#line-46" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L46" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:Unit:24"
		    ><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="src"
		      ><span class="keyword"
			>type</span
			> <a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			>Unit</a
			> = '<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
			>SUB</a
			> (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			>Unit</a
			> :: k) :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			>SUBCAT</a
			> ob</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:SUBCAT:-126--62-:25"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
		      >(~&gt;)</a
		      ></span
		    > <a href="src/Proarrow.Category.Instance.Sub.html#line-28" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L28" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:-126--62-:25"
		    ><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="src"
		      ><span class="keyword"
			>type</span
			> <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
			> (<a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			>(~&gt;)</a
			> :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
			>CAT</a
			> k) :: <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
			></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:SUBCAT:Ob:26"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
		      >Ob</a
		      > (a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob)</span
		    > <a href="src/Proarrow.Category.Instance.Sub.html#line-29" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L29" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:Ob:26"
		    ><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="src"
		      ><span class="keyword"
			>type</span
			> <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			>Ob</a
			> (a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			>SUBCAT</a
			> ob) = (<a href="Proarrow-Core.html#t:Is" title="Proarrow.Core"
			>Is</a
			> ('<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
			>SUB</a
			> :: k -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			>SUBCAT</a
			> ob) a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			>Ob</a
			> (<a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
			>SUB</a
			> :: k -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			>SUBCAT</a
			> ob) a), ob (<a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
			>SUB</a
			> :: k -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			>SUBCAT</a
			> ob) a))</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SUBCAT:-42--42-:27"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob) <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
		      >**</a
		      > (b :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob)</span
		    > <a href="src/Proarrow.Category.Instance.Sub.html#line-47" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L47" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:-42--42-:27"
		    ><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="src"
		      ><span class="keyword"
			>type</span
			> (a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			>SUBCAT</a
			> ob) <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			>**</a
			> (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
			> (<a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
			>SUB</a
			> :: k -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			>SUBCAT</a
			> ob) a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			>**</a
			> <a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
			>SUB</a
			> :: k -&gt; <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</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:SUBCAT:Act:28"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
		      >Act</a
		      > (p :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob) (x :: <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-68" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L68" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:Act:28"
		    ><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="src"
		      ><span class="keyword"
			>type</span
			> <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			>Act</a
			> (p :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			>SUBCAT</a
			> ob) (x :: <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			>Type</a
			>) = <a href="Proarrow-Category-Monoidal-Action.html#t:Act" title="Proarrow.Category.Monoidal.Action"
			>Act</a
			> (<a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
			>SUB</a
			> :: m -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			>SUBCAT</a
			> ob) p) x</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:SUBCAT:-37-:29"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (<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
		      >) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
		      >%</a
		      > ('<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
		      >SUB</a
		      > a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob)</span
		    > <a href="src/Proarrow.Profunctor.Forget.html#line-16" 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="#t:-37-" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:-37-:29"
		    ><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="src"
		      ><span class="keyword"
			>type</span
			> (<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
			>) <a href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			>%</a
			> ('<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
			>SUB</a
			> a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			>SUBCAT</a
			> ob) = a</div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SUBCAT:-37-:30"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (<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-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob)</span
		    > <a href="src/Proarrow.Category.Instance.Sub.html#line-60" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L60" class="link"
		    >Comments</a
		    > <a href="#t:SUBCAT" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:-37-: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="src"
		      ><span class="keyword"
			>type</span
			> (<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-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 href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			>%</a
			> <a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
			>SUB</a
			> :: k -&gt; <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</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:SUBCAT:Free:31"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > <a href="Proarrow-Profunctor-Free.html#t:Free" title="Proarrow.Profunctor.Free"
		      >Free</a
		      > (<a href="Proarrow-Category-Instance-Sub.html#t:On" title="Proarrow.Category.Instance.Sub"
		      >On</a
		      > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Monoid.html#t:Monoid" title="Data.Monoid"
		      >Monoid</a
		      > <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
		      >Semigroup</a
		      >)</span
		    > <a href="src/Proarrow.Profunctor.Free.html#line-83" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Profunctor/Free.hs#L83" class="link"
		    >Comments</a
		    > <a href="#t:Free" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:SUBCAT:Free:31"
		    ><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="src"
		      ><span class="keyword"
			>type</span
			> <a href="Proarrow-Profunctor-Free.html#t:Free" title="Proarrow.Profunctor.Free"
			>Free</a
			> (<a href="Proarrow-Category-Instance-Sub.html#t:On" title="Proarrow.Category.Instance.Sub"
			>On</a
			> <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Monoid.html#t:Monoid" title="Data.Monoid"
			>Monoid</a
			> <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
			>Semigroup</a
			>) = <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			>Sub</a
			> (<a href="Proarrow-Profunctor-Star.html#t:Star" title="Proarrow.Profunctor.Star"
			>Star</a
			> <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Maybe.html#t:Maybe" title="Data.Maybe"
			>Maybe</a
			>) :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			>SUBCAT</a
			> <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
			>Semigroup</a
			> -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			>SUBCAT</a
			> <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Prelude.html#t:Semigroup" title="Prelude"
			>Semigroup</a
			> -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
			>Type</a
			></div
		      ></details
		    ></td
		  ></tr
		></table
	      ></details
	    ></div
	  ></div
	><div class="top"
	><p class="src"
	  ><span class="keyword"
	    >data</span
	    > <a id="t:Sub" class="def"
	    >Sub</a
	    > (p :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
	    >CAT</a
	    > k) (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) <span class="keyword"
	    >where</span
	    > <a href="src/Proarrow.Category.Instance.Sub.html#Sub" class="link"
	    >Source</a
	    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L15" class="link"
	    >Comments</a
	    > <a href="#t:Sub" class="selflink"
	    >#</a
	    ></p
	  ><div class="subs constructors"
	  ><p class="caption"
	    >Constructors</p
	    ><table
	    ><tr
	      ><td class="src"
		><a id="v:Sub" class="def"
		  >Sub</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} (ob :: <a href="Proarrow-Core.html#t:OB" title="Proarrow.Core"
			  >OB</a
			  > k) (a1 :: k) (b1 :: k) (p :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
			  >CAT</a
			  > k). (ob a1, ob b1)</dfn
			><div class="doc empty"
			>&nbsp;</div
			></li
		      ><li
		      ><dfn class="src"
			>=&gt; { <a id="v:unSub" class="def"
			  >unSub</a
			  > :: p a1 b1</dfn
			><div class="doc empty"
			>&nbsp;</div
			></li
		      ><li
		      ><dfn class="src"
			>&nbsp;&nbsp;&nbsp;} -&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:SUB" title="Proarrow.Category.Instance.Sub"
			  >SUB</a
			  > a1 :: <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
			  > b1 :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob)</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:Sub"
	    >Instances</h4
	    ><details id="i:Sub" 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:Sub:MonoidalProfunctor:1"
		      ></span
		      > (<a href="Proarrow-Category-Monoidal.html#t:MonoidalProfunctor" title="Proarrow.Category.Monoidal"
		      >MonoidalProfunctor</a
		      > p, ob (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
		      >Unit</a
		      > :: k), <span class="keyword"
		      >forall</span
		      > (a :: k) (b :: k). (ob a, ob b) =&gt; <a href="Proarrow-Category-Instance-Sub.html#t:IsObMult" title="Proarrow.Category.Instance.Sub"
		      >IsObMult</a
		      > ob a b) =&gt; <a href="Proarrow-Category-Monoidal.html#t:MonoidalProfunctor" title="Proarrow.Category.Monoidal"
		      >MonoidalProfunctor</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-39" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L39" class="link"
		    >Comments</a
		    > <a href="#t:Sub" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:Sub:MonoidalProfunctor:1"
		    ><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:par0"
			  >par0</a
			  > :: <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (<a href="Proarrow-Category-Monoidal.html#t:Unit" title="Proarrow.Category.Monoidal"
			  >Unit</a
			  > :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) <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-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (x2 :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (y1 :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (y2 :: <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 x1 x2 -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p y1 y2 -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p (x1 <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > y1) (x2 <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
			  >**</a
			  > y2) <a href="src/Proarrow.Category.Monoidal.html#par" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L15" class="link"
			  >Comments</a
			  > <a href="#v:par" class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Sub:Profunctor:2"
		      ></span
		      > <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > p =&gt; <a href="Proarrow-Core.html#t:Profunctor" title="Proarrow.Core"
		      >Profunctor</a
		      > (<a href="Proarrow-Category-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-18" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L18" class="link"
		    >Comments</a
		    > <a href="#t:Sub" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:Sub:Profunctor:2"
		    ><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:dimap"
			  >dimap</a
			  > :: <span class="keyword"
			  >forall</span
			  > (c :: <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) (b :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (d :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob). (c <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > a) -&gt; (b <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
			  >~&gt;</a
			  > d) -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p a b -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p c d <a href="src/Proarrow.Core.html#dimap" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L38" class="link"
			  >Comments</a
			  > <a href="#v:dimap" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:-92--92-"
			  >(\\)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (a :: <a href="Proarrow-Category-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) r. ((<a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > a, <a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
			  >Ob</a
			  > b) =&gt; r) -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</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:Sub:Representable:3"
		      ></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/Category/Instance/Sub.hs#L59" class="link"
		    >Comments</a
		    > <a href="#t:Sub" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:Sub:Representable:3"
		    ><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:id:Sub:Promonad:4"
		      ></span
		      > <a href="Proarrow-Core.html#t:Promonad" title="Proarrow.Core"
		      >Promonad</a
		      > p =&gt; <a href="Proarrow-Core.html#t:Promonad" title="Proarrow.Core"
		      >Promonad</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-22" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L22" class="link"
		    >Comments</a
		    > <a href="#t:Sub" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:Sub:Promonad:4"
		    ><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:id"
			  >id</a
			  > :: <span class="keyword"
			  >forall</span
			  > (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
			  > a =&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p a a <a href="src/Proarrow.Core.html#id" class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L56" class="link"
			  >Comments</a
			  > <a href="#v:id" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#v:."
			  >(.)</a
			  > :: <span class="keyword"
			  >forall</span
			  > (b :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
			  >SUBCAT</a
			  > ob) (c :: <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-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p b c -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p a b -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:Sub" title="Proarrow.Category.Instance.Sub"
			  >Sub</a
			  > p a c <a href="src/Proarrow.Core.html#." class="link"
			  >Source</a
			  > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Core.hs#L57" class="link"
			  >Comments</a
			  > <a href="#v:." class="selflink"
			  >#</a
			  ></p
			></div
		      ></details
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Sub:-37-:5"
		      ></span
		      > <span class="keyword"
		      >type</span
		      > (<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-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob)</span
		    > <a href="src/Proarrow.Category.Instance.Sub.html#line-60" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L60" class="link"
		    >Comments</a
		    > <a href="#t:Sub" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:id:Sub:-37-:5"
		    ><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="src"
		      ><span class="keyword"
			>type</span
			> (<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-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 href="Proarrow-Profunctor-Representable.html#t:-37-" title="Proarrow.Profunctor.Representable"
			>%</a
			> <a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
			>UN</a
			> ('<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
			>SUB</a
			> :: k -&gt; <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</div
		      ></details
		    ></td
		  ></tr
		></table
	      ></details
	    ></div
	  ></div
	><div class="top"
	><p class="src"
	  ><span class="keyword"
	    >class</span
	    > c (<a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
	    >UN</a
	    > ('<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
	    >SUB</a
	    > :: k -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
	    >SUBCAT</a
	    > ob) a) =&gt; <a id="t:On" class="def"
	    >On</a
	    > (c :: k -&gt; <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Kind.html#t:Constraint" title="Data.Kind"
	    >Constraint</a
	    >) (ob :: <a href="Proarrow-Core.html#t:OB" title="Proarrow.Core"
	    >OB</a
	    > k) (a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
	    >SUBCAT</a
	    > ob) <a href="src/Proarrow.Category.Instance.Sub.html#On" class="link"
	    >Source</a
	    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L32" class="link"
	    >Comments</a
	    > <a href="#t:On" class="selflink"
	    >#</a
	    ></p
	  ><div class="subs instances"
	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:On"
	    >Instances</h4
	    ><details id="i:On" 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:On:On:1"
		      ></span
		      > c (<a href="Proarrow-Core.html#t:UN" title="Proarrow.Core"
		      >UN</a
		      > ('<a href="Proarrow-Category-Instance-Sub.html#t:SUB" title="Proarrow.Category.Instance.Sub"
		      >SUB</a
		      > :: k -&gt; <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob) a) =&gt; <a href="Proarrow-Category-Instance-Sub.html#t:On" title="Proarrow.Category.Instance.Sub"
		      >On</a
		      > (c :: k -&gt; <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Kind.html#t:Constraint" title="Data.Kind"
		      >Constraint</a
		      >) (ob :: <a href="Proarrow-Core.html#t:OB" title="Proarrow.Core"
		      >OB</a
		      > k) (a :: <a href="Proarrow-Category-Instance-Sub.html#t:SUBCAT" title="Proarrow.Category.Instance.Sub"
		      >SUBCAT</a
		      > ob)</span
		    > <a href="src/Proarrow.Category.Instance.Sub.html#line-33" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L33" class="link"
		    >Comments</a
		    > <a href="#t:On" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:ic:On:On:1"
		    ><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
		      ></details
		    ></td
		  ></tr
		></table
	      ></details
	    ></div
	  ></div
	><div class="top"
	><p class="src"
	  ><span class="keyword"
	    >class</span
	    > (<a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
	    >CategoryOf</a
	    > k, ob (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
	    >**</a
	    > b)) =&gt; <a id="t:IsObMult" class="def"
	    >IsObMult</a
	    > (ob :: <a href="Proarrow-Core.html#t:OB" title="Proarrow.Core"
	    >OB</a
	    > k) (a :: k) (b :: k) <a href="src/Proarrow.Category.Instance.Sub.html#IsObMult" class="link"
	    >Source</a
	    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L35" class="link"
	    >Comments</a
	    > <a href="#t:IsObMult" class="selflink"
	    >#</a
	    ></p
	  ><div class="subs instances"
	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:IsObMult"
	    >Instances</h4
	    ><details id="i:IsObMult" 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:IsObMult:IsObMult:1"
		      ></span
		      > (<a href="Proarrow-Core.html#t:CategoryOf" title="Proarrow.Core"
		      >CategoryOf</a
		      > k, ob (a <a href="Proarrow-Category-Monoidal.html#t:-42--42-" title="Proarrow.Category.Monoidal"
		      >**</a
		      > b)) =&gt; <a href="Proarrow-Category-Instance-Sub.html#t:IsObMult" title="Proarrow.Category.Instance.Sub"
		      >IsObMult</a
		      > (ob :: k -&gt; <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Kind.html#t:Constraint" title="Data.Kind"
		      >Constraint</a
		      >) (a :: k) (b :: k)</span
		    > <a href="src/Proarrow.Category.Instance.Sub.html#line-36" class="link"
		    >Source</a
		    > <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Instance/Sub.hs#L36" class="link"
		    >Comments</a
		    > <a href="#t:IsObMult" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  >&nbsp;</td
		  ></tr
		><tr
		><td colspan="2"
		  ><details id="i:ic:IsObMult:IsObMult:1"
		    ><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
		      ></details
		    ></td
		  ></tr
		></table
	      ></details
	    ></div
	  ></div
	></div
      ></div
    ><div id="footer"
    ><p
      >Produced by <a href="http://www.haskell.org/haddock/"
	>Haddock</a
	> version 2.28.0</p
      ></div
    ></body
  ></html
>