applyTypeToArg :: Type -> CoreExpr -> Type
-- ^ Determines the type resulting from applying an expression with given type
-- to a given argument expression
applyTypeToArg fun_ty arg = piResultTy fun_ty (exprToType arg)
applyTypeToArg :: Type -> CoreExpr -> Type
applyTypeToArg fun_ty arg = piResultTy fun_ty (exprToType arg)
applyTypeToArg fun_ty arg = piResultTy fun_ty (exprToType arg)