@lupyuen Actually I already wrote a library that does exactly that (but not in haskell)... it is active and has some good contributors too.. maybe you'd want to join in :)

@lupyuen @freemo #Haskell would be a perfect choice for this purpose. It naturally fits all the related needs. Describing grammar, parsers and relationships using builtin generic mechanisms (Monads, Applicatives, etc.) is pleasure.