@UnrelatedString i think i have an explanation for triads:

- monads are just lone, no arguments on either side since its sole argument is the accumulator

- dyads are generally found as dyad-nilad pairs, which act on the accumulator

- 1+1 is not evaluated as adding either side together, it stores the leading nilad into the accumulator and then takes the dyad-nilad pair to add 1 to the accumulator

- so triads can be nilad triad nilad and the would make sense

so nilad nilad triad nilad firstly stores the leading nilad into the accumulator, the nilad-triad-nilad acts on the accumulator

i think it makes total sense for triads

That's what my idea of triads was

lol

i got ninja'd by days

i think that could more generally be just a quick that takes a single link of any arity and produces a dyad

the issue with both of those is you can't really do anything quick-y on the third argument but it's probably one of the better ways to handle it