<html><body><br><div>On Jun 06, 2012, at 08:44 AM, Andreas Abel <andreas.abel@ifi.lmu.de> wrote:<br><br><div><blockquote type="cite"><div class="msg-quote"><div class="_stretch"> Well, but nothing in the type system prevents you from writing<br> <br> mapM f xs >> cont<br> <br> or<br> <br> do mapM f xs<br> cont<br> <br> so you are not warned of a space leak in the common situations anyway, </div></div></blockquote><span> </span><br><br>At least the second form will trigger a warning in GHC (although admittedly not from the type system, but from -fwarn-unused-do-bind). It is a jolly useful warning at times.<br><br>Regards,<br> Malcolm<br></div></div></body></html>