i feel like dyadic chaining rules have a highish rate of needing extra bytes but they're still very good
all i can think of to improve that without the sort of overhaul he's thinking of would maybe be some way of using monadic chaining rules dyadically; i.e. treating the right argument as the original left argument