Sylvester.Collections (nuget): Sylvester number-parameterized collection types. These collection types can perform static verification of lengths and indices as long as some information about these values is available at compile time.
Keywords: fsharp|type-level