Added type function application.