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