Those guys wrote their ideas down here for those interested: http://www.st.ewi.tudelft.nl/~dolstra/pubs/nixos-jfp-final.pdf