Type errors can happen in small programs. In ML applications, which are computationally very expensive and take a lot of time to run, an avoidable type error can result in a considerable waste of time.