Uhm, you answered my question already, I just didn&#39;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">&lt;<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>&gt;</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&#39;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>