(a () .n)         |> (S n)
(a (S .k) ())     |> (a k (S ()))
(a (S .k) (S .n)) |> (a k (a (S k) n))

<| constants.zpr
main |> (a 3 4)