Properly memoize Exist matcher