Tfvec is a project mainly written in Haskell, based on the View license.
Fixed Size Vectors using type-family based Numerals