Print fully reconstructed terms, with all hidden arguments/patterns displayed.
From this one can read of how the type checker understood one's input.
Applies to: CLI, ?Emacs?
There is already the flag
--show-implicit which will show all implicit arguments when printing. This could be combined with some way to print the type checked signature.