See: Nested Patterns