A short example showing off the expression problem in Haskell - View it on GitHub