newLocal :: Type -> UniqSM Var
newLocal ty = do { uniq <- getUniqueM
                 ; return (mkSysLocal (fsLit "dt") uniq ty) }
newLocal :: Type -> UniqSM Var
newLocal ty = do { uniq <- getUniqueM
                 ; return (mkSysLocal (fsLit "dt") uniq ty) }
newLocal ty = do { uniq <- getUniqueM
                 ; return (mkSysLocal (fsLit "dt") uniq ty) }