Comment by nickpsecurity

Invited them here plus sent them these semi-related links in case prior work on systems programming in Haskell helps them:

http://programatica.cs.pdx.edu/House/

http://programatica.cs.pdx.edu/papers.html