こういう型推論周り、できないのが仕様なのか実装の問題なのか・・・。