title: What is Haskell's Data.Typeable?
body: <p>I've come across references to Haskell's <code>Data.Typeable</code>, but it's not clear to me why I would want to use it in my code.</p>
  
  <p>What problem does it solve, and how?</p>