idris: simplify interpolation
nanopb-generator: simplify interpolation