<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 11/14/2015 9:58 PM, Kim-Ee Yeoh
wrote:<br>
</div>
[...]<br>
<blockquote
cite="mid:CAPY+ZdS8y7UP3bTbVzK27X6BgzQ-1Gs8C=1-mEu8ymqROf181g@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="gmail_extra">Yes it is. The default instance is IO.
It's a common gotcha, see <br>
<br>
<a moz-do-not-send="true"
href="https://downloads.haskell.org/%7Eghc/latest/docs/html/users_guide/interactive-evaluation.html#actions-at-prompt">https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/interactive-evaluation.html#actions-at-prompt</a><br>
<br>
</div>
<div class="gmail_extra">and the example of how "return True"
defaults to IO Bool.<br>
</div>
</div>
</blockquote>
<br>
Thanks Kim-Ee, that makes it clear.<br>
<br>
<br>
<blockquote
cite="mid:CAPY+ZdS8y7UP3bTbVzK27X6BgzQ-1Gs8C=1-mEu8ymqROf181g@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="gmail_extra">Might I compliment you on this:<br>
<br>
<font face="Courier New, Courier, monospace"> sequenceA' ::
Applicative f => [f a] -> f [a]<br>
sequenceA' = foldr (\fa fla -> (:) <$> fa <*>
fla) (pure [])<br>
<br>
</font></div>
<div class="gmail_extra">There are strong arguments that this is
the best way of writing sequenceA.<br>
</div>
<div class="gmail_extra"><br clear="all">
<div>
<div class="gmail_signature">-- Kim-Ee</div>
</div>
</div>
</div>
</blockquote>
<br>
Thanks, but it just seemed the most straightforward thing to do at
my present level of understanding.<br>
<br>
Are there substantially different ways to define sequenceA? I'm
interested to read the arguments if you can give a pointer to a post
somewhere.<br>
<br>
Graham<br>
<br>
</body>
</html>