Если смотреть глобально, многое что есть в хаскел может конфликтовать с реальными задачами, но некоторые моменты взятые из теории категорий все равно просачиваться в main stream языки, становлясь частью того, как мы воспринимаем код в общем.
В свое время такое произошло с лямбда функциями. Теперь они есть в том или ином виде практически в каждом языке.