tyexprshelpers.fs

let rec kindStack numTyArgs =
    match numTyArgs with
    | 0 -> Star
    | n -> KFun (Star, kindStack (n - 1))

let tNumber = TConExpr (TyCon (TyConNumber, Star))
let tBool = TConExpr (TyCon (TyConBool, Star))
let tUnit = TConExpr (TyCon (TyConUnit, Star))

let tArrow = TConExpr (TyCon (TyConFun, KFun (Star, KFun (Star, Star))))
let tFun tArg tBody = TApExpr (TApExpr (tArrow, tArg), tBody)

let tComma numArgs = TConExpr (TyCon (TyConTuple, kindStack numArgs))
let tTuple tArgs =
    let numArgs = List.length tArgs
    List.fold
        (fun accumTyExpr tyArg ->
            TApExpr (accumTyExpr, tyArg))
        (tComma numArgs)
        tArgs