У хаскеля так же кодогенерации гораздо больше будет, чем у си.
не играет роли, т.к. проблема в конечном итоге не хаскеля, а оптимизатора, который все лишнее говно должен свернуть, и хинтов со стороны фронтэнда, которые подскажут оптимизатору, какими свойствами обладают те или иные блоки, и что можно сворачивать, и с какими предпосылками