I don't know if he reads HN but I believe the F# team is aware of the upcasting issue and if I remember correctly they were thinking about resolving this in the future. You can send him an email saying what you like and what are your biggest issues, he'll probably appreciate that (at least I would).