I translated this to F# for my own edification. It's more verbose, but perhaps easier to understand for non-Haskellers.

https://github.com/brianberns/AnnotatedStack