Example of why counting monad do not enforce enough to be useful in our case.