[Haskell-beginners] how to make something Typeable, for Data.Dynamic?