Parametrise traceProp and rearrange ServerTest.hs for the demo.