Использование параллельных стратегий с монадами

Я часто вижу использование и объяснение параллельных стратегий Haskell, связанных с чистыми вычислениями (например, fib ). Однако я не часто вижу, чтобы он использовался с монадическими конструкциями: есть ли разумная интерпретация эффекта par и связанных функций в применении к ST или IO ? Можно ли получить какое-либо ускорение от такого использования?