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).