でも型推論系のxedinさんとhollyさんが言及してるからなあ