This reminds me of a paper by Alejandro Russo "Functional Pearl: Two Can Keep a Secret, If One of Them Uses Haskell" [1].

[1]: https://www.cse.chalmers.se/~russo/publications_files/pearl-...