で、型推論に失敗するサンプルは?