Uhm, you answered my question already, I just didn't read your email carefully:<br><br><div class="gmail_quote">On Wed, Oct 3, 2012 at 1:01 PM, Simon Peyton-Jones <span dir="ltr"><<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
* All this is fine. But we don't (ever) want the programmer to write<br>
any instance of Typeable; that ways lies seg-faults, since we may<br>
rely on their veracity.<br><br></blockquote><div><br>I think I agree, but, then again, I have never written my own Typeable instances.<br>Do note, however, that GHC currently uses the `time` package, which gives manual<br>
`Typeable` instances (CC-ing Ashley; maybe he can defend writing Typeable instances<br>manually). I noticed this while working on the change-over to the kind-polymorphic `Typeable`.<br></div></div><br><br>Cheers,<br>Pedro<br>
<br>