added examples of EDSLs and tried example Parsec