Tagged pump-by-exception