imprint (cargo): Type-level manipulation of values.
Keywords: dependent-types|rust