Соответствие_Карри_—_Говарда loading ...