お手軽さっていう話だと、関数の仮引数の型も型推論してほしい、ってたまに思っちゃう