expose zipMatch
monoid instances for match