Using Haskell to Implement Syntactic Control of Interference