Ensure that cabal project builds the Demo.STMonad module.
Some code demonstrating rank 2 polymorphism.