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

ЗЫ. А вообще да, Хаскелл и Си идут по жизни рука об руку...