Type-level programming library is now available on Fedora testing repository. Type-level functions are implemented using functional dependencies of multi parameter type classes. A tutorial on type-level numerals and their usage to implement numerically-parameterized vectors is available at http://www.ict.kth.se/forsyde/files/tutorial/tutorial.html#FSVec. You can install it on Fedora using: