Eliminating Bugs with Dependent Haskell