It usually is as long as you don't do anything recursive (and a few select polymorphic instances), I can see people getting bitten by it. Having written inferr

It usually is as long as you don't do anything recursive (and a few select polymorphic instances), I can see people getting bitten by it. Having written inferring compilers and used C++ extensively I appreciate the workings, but I can also see people getting stuck with it.