Linear algebra in F# with type-level dimension sizes | Dark Hacker News