You can use typescript types to compile functions. You just might need to deoptimize when you actually hit the function.