They would likely have to severely restrict the range of supported types, for example `window` is likely impossible to compile meaningfully.