reflect-nat 0.1.1

Type-level naturals, booleans, and HLists with Reflect implementations
Documentation