transduce (cargo): Isomorphic parsing: your code should look like what it parses.
Keywords: parser|parsing|types|logic|metaprogramming