It&#39;s spelled &#39;Kleisli&#39;. You spelled it &#39;Kliesli&#39;<br><br><div class="gmail_quote">2009/2/9 Louis Wasserman <span dir="ltr">&lt;<a href="mailto:wasserman.louis@gmail.com">wasserman.louis@gmail.com</a>&gt;</span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">In GHCi, I import Control.Arrow, and Kliesli doesn&#39;t appear:<br>Prelude Control.Arrow&gt; :t Kliesli <br><br>&lt;interactive&gt;:1:0: Not in scope: data constructor `Kliesli&#39;<br>
Prelude Control.Arrow&gt; :browse <br>
(&lt;&lt;^) :: (Arrow a) =&gt; a c d -&gt; (b -&gt; c) -&gt; a b d<br>(&gt;&gt;^) :: (Arrow a) =&gt; a b c -&gt; (c -&gt; d) -&gt; a b d<br>class (Control.Category.Category a) =&gt; Arrow a where<br>&nbsp; arr :: (b -&gt; c) -&gt; a b c<br>

&nbsp; first :: a b c -&gt; a (b, d) (c, d)<br>&nbsp; second :: a b c -&gt; a (d, b) (d, c)<br>&nbsp; (***) :: a b c -&gt; a b&#39; c&#39; -&gt; a (b, b&#39;) (c, c&#39;)<br>&nbsp; (&amp;&amp;&amp;) :: a b c -&gt; a b c&#39; -&gt; a b (c, c&#39;)<br>

class (Arrow a) =&gt; ArrowApply a where app :: a (a b c, b) c<br>class (Arrow a) =&gt; ArrowChoice a where<br>&nbsp; left :: a b c -&gt; a (Either b d) (Either c d)<br>&nbsp; right :: a b c -&gt; a (Either d b) (Either d c)<br>&nbsp; (+++) :: a b c -&gt; a b&#39; c&#39; -&gt; a (Either b b&#39;) (Either c c&#39;)<br>

&nbsp; (|||) :: a b d -&gt; a c d -&gt; a (Either b c) d<br>class (Arrow a) =&gt; ArrowLoop a where<br>&nbsp; loop :: a (b, d) (c, d) -&gt; a b c<br>newtype (ArrowApply a) =&gt; ArrowMonad a b = ArrowMonad (a () b)<br>class (ArrowZero a) =&gt; ArrowPlus a where<br>

&nbsp; (&lt;+&gt;) :: a b c -&gt; a b c -&gt; a b c<br>class (Arrow a) =&gt; ArrowZero a where zeroArrow :: a b c<br>newtype Kleisli m a b = Kleisli {runKleisli :: a -&gt; m b}<br>(^&lt;&lt;) :: (Arrow a) =&gt; (c -&gt; d) -&gt; a b c -&gt; a b d<br>

(^&gt;&gt;) :: (Arrow a) =&gt; (b -&gt; c) -&gt; a c d -&gt; a b d<br>leftApp :: (ArrowApply a) =&gt; a b c -&gt; a (Either b d) (Either c d)<br>returnA :: (Arrow a) =&gt; a b b<br>(&lt;&lt;&lt;) ::<br>&nbsp; (Control.Category.Category cat) =&gt; cat b c -&gt; cat a b -&gt; cat a c<br>

(&gt;&gt;&gt;) ::<br>&nbsp; (Control.Category.Category cat) =&gt; cat a b -&gt; cat b c -&gt; cat a c<br><br>Does anybody know what&#39;s going on?<br><br clear="all">Louis Wasserman<br><font color="#888888"><a href="mailto:wasserman.louis@gmail.com" target="_blank">wasserman.louis@gmail.com</a><br>


</font><br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br>