Why can't I define inline lazy recursive values?

In Elm you can only have recursive values at the top level. Recursive functions are supported everywhere. See e.g. Cyclic value with lambda - #4 by evancz for the reasoning.