F#は型推論でエラーが分かりやすい