1. Будем посмотреть

2. Не масштабируемо. Тогда нельзя будет создавать свои ивенты.

3. Очень просто :-) Важен только параметр класса типов - из него достаётся информация о типе. С год или два назад я читал где то статью про deriving Typeable, там был алгоритм даже расписан по конструированию инстансов. Что касается cast, то его можно нарисовать прямо в Haskell без FFI.