No, you just run the static type check on the entire program. Like you run the Haskell REPL on a file and it type checks it for you and executes the main. It ca

No, you just run the static type check on the entire program. Like you run the Haskell REPL on a file and it type checks it for you and executes the main. It can just do this in RAM without generating an executable file. Yes, it will technically complain before you even run it. Because it will first analyze it and only then run it if it type checks. The entire file, not just the reachable parts.