maybe you could encode the number of maximum nested loops into the type system, so when defining a function you set a maximum number which would fail to compile

maybe you could encode the number of maximum nested loops into the type system, so when defining a function you set a maximum number which would fail to compile if exceeded? would be crude but possibly helpful at times