はい．そういうのがもし Swift の type-checker が片方向 Hindley-Milner ベースだったら問題にならない or 問題になっても高速化が容易だったのかなというのが気になってました．