In the small example type checker given, would a function of type A -> B -> C be represented something like this?

    { kind: "function", arg: A, returnType: { kind: "function", arg: B, returnType: C}}

EDIT:

I just noticed the working demo at the bottom that includes an example of a multi-argument function so that answers whether it works.