Что такое Data.Typeable в Haskell?

Я встречал ссылки на Data.Typeable Haskell, но мне не ясно, почему я хотел бы использовать его в своем коде.

Какую проблему он решает и как?