<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">It makes sense, once you understand the terminology.<br><br>Thanks.<br><br>Michael<br><br>--- On <b>Wed, 4/22/09, Cristiano Paris <i>&lt;frodo@theshire.org&gt;</i></b> wrote:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>From: Cristiano Paris &lt;frodo@theshire.org&gt;<br>Subject: Re: [Haskell-cafe] Getting the x out<br>To: "michael rice" &lt;nowgate@yahoo.com&gt;<br>Cc: haskell-cafe@haskell.org<br>Date: Wednesday, April 22, 2009, 7:55 AM<br><br><div class="plainMail">On Wed, Apr 22, 2009 at 2:49 AM, michael rice &lt;<a ymailto="mailto:nowgate@yahoo.com" href="/mc/compose?to=nowgate@yahoo.com">nowgate@yahoo.com</a>&gt; wrote:<br>&gt; How do I get the x out of Just x?<br><br>Hi Michael,<br><br>in your code you're using Maybe to inform the caller of safeDivision<br>about an exceptional situation. This
 way, you made a full coverage of<br>all the input cases and nothing is left out, i.e. you created a total<br>function (which is GOOD).<br><br>If you introduced the Nothing case, you just don't want to ignore it.<br>Also, the type system is forcing you to take the Nothing case into<br>account so you can handle it properly. Hence, you might try something<br>like the "maybe" function, which accounts for the Nothing case.<br><br>If you'd use fromJust, the Nothing case would remain uncovered,<br>leading you to an unhandled exception, which conflicts with your<br>safeDivision definition.<br><br>Cristiano<br></div></blockquote></td></tr></table><br>