3 ms·

I don't think anyone has ever been surprised to find that a type system (with inference) is turing complete.