You could use a struct, record, or tuple for a point. I've done all of these before.

Yes, and now they can be done right (as CLR structs)! It's just odd that this took until now.

I suppose it just shows that those of us that are using .NET to do "C++ work" (always CPU and GC bound, almost never IO bound) are pretty few...

No. There's a difference between needs and wants.

Well if you don't think a modern FP language needs higher kinded types you probably do need vodka.