<div dir="ltr"><br><br><div class="gmail_quote">On Tue, Oct 7, 2008 at 1:13 AM, Ryan Ingram <span dir="ltr"><<a href="mailto:ryani.spam@gmail.com">ryani.spam@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
You may think it doesn't matter, because you could instantiate it to<br>
anything after the fact, but it's possible that the result of the case<br>
statement depends on the choice of instantiation for sy; consider if<br>
sy had an additional constraint:<br>
<br>
> Sealed (fromInteger) :: forall t. Num t => Sealed ((->) Integer)<br>
<br>
Now the result of the case statement is the concrete implementation of<br>
fromInteger for whatever type it gets instantiated at.</blockquote><div><br>Thanks, I was indeed hoping to see examples of things that break if the type checker behaved the way I wanted.<br> <br>Jason<br></div></div><br>
</div>