While I like optionality and infer for all types, it may be too hard to implement, it's unrealistic.
But what's definitely possible and annoys most is lack of auto types when **specifying it explicitly don 't contribute to readability or correctness** so those types are just annoyance and useless noise. For cases like a) lambda arguments and return types, b) auto casting @[Parent(), Child()] or `let list: seq[Parent] = @[Child()]` and couple of similar cases. Those cases don't require any extraordinary compiler logic.
