Update cabal file for first test example.
Simple example using hand-written code.

Fails on reloading state, let's try with TH.