polyApply :: CoreExpr -> [Type] -> VM CoreExpr
polyApply expr tys
- = do Just dicts <- liftM sequence $ mapM paDictOfType tys
+ = do dicts <- mapM paDictOfType tys
return $ expr `mkTyApps` tys `mkApps` dicts
polyVApply :: VExpr -> [Type] -> VM VExpr
polyVApply expr tys
- = do Just dicts <- liftM sequence $ mapM paDictOfType tys
+ = do dicts <- mapM paDictOfType tys
return $ mapVect (\e -> e `mkTyApps` tys `mkApps` dicts) expr