How to Implement the parser function in Haskell

Question

I need to implement the following function

optional p tries to apply the parser p. But optional p does not fail eve