OK, I took the time to package the code and write a few lines about it: <http://mazzo.li/posts/agda-hakyll.html>. Questions welcome! Francesco