On Fri, Apr 13, 2012 at 7:49 AM, Johannes Waldmann <span dir="ltr">&lt;<a href="mailto:waldmann@imn.htwk-leipzig.de">waldmann@imn.htwk-leipzig.de</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
type Computer a b =  ( a -&gt; IO ( Maybe b ) )<br>type Transformer a b c d =  Computer a ( b, c -&gt; d )</blockquote><div><br></div><div>Computer looks like Kleisli (MaybeT IO), which would be a valid instance of Arrow.</div>