型推論は、簡潔に書くためのもので、無理して型を指定しないのは本末転倒。
型が指定できないのは、問題外。