Introduce Axiom patternFailure
Introduce Axiom patternFailure

and three test cases are now happily accepted by coq!

(Recovered from 9b73c2fd672d9d571d290562f792f46155aeaa5f)

antalsz/hs-to-coq,antalsz/hs-to-coq