https://github.com/rust-lang/rust/issues/101728
Почему хаскелисты могут въебать сигнатуру где хотят (или вообще не въёбывать чтобы компилятор вывел всё сам), а у раста всегда с этим какие-то сложности? Вон, уже дошло до выпиливания однозначно полезных фичей из языка.
избыточная, редкоиспользуемая фича, усложняющая парсинг (а значит сообщения об ошибках становятся сложнее)
когда нужно решается турборыбой и отдельным биндингом для subexpression