1. Под "такой обработчик" подразумевалось контроллер, принимающий список обработчиков самых разных типов событий, и вызывающий нужный.
3. Не понял. У нас есть значение типа a, с ним в нужные функции передаётся instance Typeable a, как из этого инстанса достать информацию, шоп скастовать это значение к типу b?