Type function application has its own depth counter now