Information-flow Control in Haskell

[Two can keep a secret if one of them uses Haskell](https://1drv.ms/p/s!Ahd2uwlk3jmIlCZr0spYc_I-OveR)