Haskell code for "Why dependent types matter" paper

Haskell implementation of code presented in "Why Dependent Types Matter" paper by Thorsten Altenkirch, Conor McBride and James McKinna.