Deve existir alguém com interesse em progrmar em Haskell um módulo para o kernel Linux, assim como existe quem queira programar um jogo de comércio interplanetário em AWK. E para os primeiros, agora há uma solução funcional (embora provavelmente o módulo gerado não deva ser submetido para inclusão no kernel Linux oficial…), que gera módulos para o kernel na sua linguagem favorita, type safe e com garbage collection, por mais estranho que possa parecer a todos os demais.

Aí o seu kernel poderá executar instruções cujo código-fonte é assim:

hello = newCString "hello" >>= printk >> return 0

Saiba mais (lwn.net).