https://tech.spiko.io/posts/benchmarking-typescript-type-checking/