prettier print
case study: substitution and definition inlining