HLists, Peano & Type-level computations

An experiment on type-level computations.