(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)