О наглых типах и неоднозначных решениях