functional publisher, finally