Companion code for "Decidable Propositional Equality in Haskell"

Blog post at http://typesandkinds.wordpress.com/2012/12/01/decidable-propositional-equality-in-haskell/