Comment by gampleman

I’m wondering in the Elm context if the compiler implemented this technique could it make a non stack safe recursion a compile time error?

And if it did, how restrictive would that be in practice?