Simplifying match*