Haskell seems to have pretty strong support for dynamic casting using Data.Typeable and Data.Dynamic.<div><br></div><div>All kinds of funky dynamic programming seems to be possible with these &quot;hacks&quot;.&nbsp;</div><div>
<br></div><div>Is this considered as being as bad as - say - unsafePerformIO? What kind of evil is lurking here?</div><div><br></div><div>Cheers,</div><div>Peter</div><div><br></div><div><br></div>