Neil Mitchell Colin Runciman Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching. 49-60 2008 Haskell https://doi.org/10.1145/1411286.1411293 https://doi.org/10.1145/1543134.1411293 conf/haskell/2008 db/conf/haskell/haskell2008.html#MitchellR08