Type check before pretty_printing