definition-styles.kap

Monadic single argument      ∇             foo x           {
Dyadic single argument       ∇           x foo y           {
Destructuring                ∇     (x0;y0) foo (x1;y1)     {
Monadic op, monadic arg      ∇         (fn foo) x          {
Monadic op, dyadic arg       ∇       x (fn foo) y          {
Dyadic op, monadic arg       ∇         (f0 foo f1) x       {
Dyadic op, dyadic arg        ∇       x (f0 foo f1) y       {
Destructuring                ∇ (x0;x1) (f0 foo f1) (y0;y1) {
Fn parens optional:
Monadic single arg:          ∇            (foo) x          {
                             ∇            (foo) (x)        {
                             ∇        (y) (foo) (x)        {
                             ∇          y (foo) x          {