Materials associated to the ICFP 2013 "Testing Noninterference, Quickly" paper, mostly Haskell code