type_level_examples (cargo): Examples of using type-level values and functions.
Keywords: typelevel