%0 Unpublished Work
%T Proving Inequational Propositions about Haskell Programs in Coq