Tail, [Head, ...Result]&gt;
    : Result
)`)

const Result = Type.Script({ Reverse }, `Reverse&lt;[
  1, 2, 3, 4
]&gt;`)                                                // const Result: TTuple&lt;[
                                                    //   TLiteral&lt;4&gt;,
                                                    //   TLiteral&lt;3&gt;,
                                                    //   TLiteral&lt;2&gt;, 
                                                    //   TLiteral&lt;1&gt;
           