How can I simplify nested pattern matching clauses?

Question

I have nested data types with a lot of option modifiers. I want to simplify the source code of functions when I need to match the nested types.