I believe you can abstract single match vs. set of matches using monads.