parameterized-data (hackage): This library provides an implementation of parameterized types using type-level computations to implement the type parameters and emulate dependent types.  Right now only fixed-sized vectors are provided. A tutorial on how to use them can be found at https://forsyde.ict.kth.se/trac/wiki/ForSyDe/Haskell/ForSyDeTutorial#FSVec
Keywords: bsd3|data|library