ShowRaw is intended for debugging, to print a rather complete
syntax tree. The basic rule is that every constructor MUST appear
visibly in the output. For example, show (CoreApp x []) == show x
,
but (showRaw x == showRaw y) ==> (x == y)
.