Can fully reproduce the example file.
About to introduce Monad for annotating, like EP