idris-hackers/eff-tutorial — pull request #20 by defanor (2014-10-28 22:10:39+00:00)
Title: Fixed an example description

The type of `treeTagAux` is `BTree a -> { [STATE Int] } Eff (BTree (Int, a))`
at the point where it was described as if it is `BTree a -> { [STATE Int] }
Eff (Int, BTree a)`.