<div dir="ltr"><div>If <*> is in Prelude (I'm unclear) then I'm +1 on getting <$> there too - <*> is practically useless without <$>!<br></div><div><br></div><div><$ is handy and I do tend to use it, but I don't feel so strongly about having that in the Prelude (so I'm not going to vote for or against that).</div><div class="gmail_extra"><br></div><div class="gmail_extra">- Ollie</div></div>