andrewbutterfield/csp-in-haskell archive