Don Syme's response to requests for type-level programming support in F#github.com/fsharp5 pointsvector_spaces5 years ago