そういう細やかな機能のアレコレの積み重ねこそ
F# を F# たらしめている、と思うんだけれども

言語機能としてあるのにユーザ定義はできない
みたいなことがないように言語が設計されている
てのはよろこぶべきことなんじゃないかと