1. Кажется, такой обработчик есть в Data.Typeable. 2. В твоих примерах неясно, зачем нужен апкаст/даункаст. Почему нельзя перенумеровать все возможные варианты и сунуть в один тип. 3. Как раз позавчера читал про Typeable, и стало очень интересно: Как оно устроено "внутре"?
no subject
2. В твоих примерах неясно, зачем нужен апкаст/даункаст. Почему нельзя перенумеровать все возможные варианты и сунуть в один тип.
3. Как раз позавчера читал про Typeable, и стало очень интересно: Как оно устроено "внутре"?