Created GADT example illustrating HSpec, HUnit, and Rematch