Might be worth looking at the publications of these guys: http://www.haskell.org/yampa/ - from what I can remember of their work, they have to handle some of this kind of thing too.