Инструменты для генерации графика зависимости функции Хаскелла (поток управления)?

Да, конечно, есть. Если вы посмотрите в категории Разработка на Hackage, вы найдете инструменты для:

• построения графиков зависимостей пакетов - nb требует более старого Cabal
• построения графиков зависимостей модулей
• построение графиков вызовы функций
• построение графиков текущие структуры данных

В частности, SourceGraph содержит множество проходов анализа, включая:

• визуализацию вызовов функций
• вычисление цикломатической сложности
• визуализация импорта модуля

Другие инструменты, которые могут вас заинтересовать:

• HPC, для визуализации тестового покрытия
• ThreadScope, для визуализации поведения во время выполнения
• lscabal, извлечение модулей из пакета

Вот график функциональных вызовов, созданный SourceGraph, запущенным через cabal2arch: