// infix k -> postfix ; infix enlist [infix.] infra ; ; infix. [[[count 2 <] first] [[first sym?] monad] [dyad]] cond ; ; dyad { [[x f Y]] x infix. Y infix. \f } ; ; monad { [[f X]] X infix. \f string ': , .g } ; ; Infix { [] _y infix -> } ; \\ [2 + - 3 * 4 % % 12] infix [2 3 4 12 %: % * -: +] Infix 2 + - 3 * 4 % % 12 -142.0