lintStgExpr :: StgExpr -> LintM (Maybe Type) -- Just ty => type is exact

lintStgExpr (StgLit l) = return (Just (literalType l))
lintStgExpr :: StgExpr -> LintM (Maybe Type)
lintStgExpr (StgLit l) = return (Just (literalType l))
lintStgExpr (StgLit l) = return (Just (literalType l))