Punches and staplers