Attribute Grammar

I tried to replicate the example of an Attribute Grammar from the Monad Reader.