HsLit
data HsLit
data HsOverLit id
data OverLitVal

Before* type checking, the SyntaxExpr in an HsOverLit is the

After* type checking, it is a witness for the literal, such as