(This article is also published at Medium ) Applicative functors are useful for encoding context-free effects. This typically gets put to work around things like parsing or validation , but if you have a statistical bent then an applicative structure will be familiar to you as an encoder of independence . In this article I’ll give a whirlwind tour of probability monads and algebraic freeness, and
![Encoding Statistical Independence, Statically · jtobin.ca](https://cdn-ak-scissors.b.st-hatena.com/image/square/e83f8dc64549738a9671bac8e17565a275c23a8e/height=288;version=1;width=512/http%3A%2F%2Fjtobin.ca%2Fimages%2Ffmm.png)