A small example of using mtl style to unit test effectful code - View it on GitHub