определение типа механизмом вывода типов (infer)

Бывают случаи, когда нет необходимости явно указывать тип, как, например, при создании константы.