further simplification of mkTLPDispatcher
corresponding simplification of mkTLPArbiter