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)`.