Was ist Haskells Data.Typeable?

Ich habe Verweise auf Haskell's gefunden Data.Typeable, aber mir ist nicht klar, warum ich es in meinem Code verwenden möchte. Welches Problem löst es und wie?