Luc Maranget Warnings for pattern matching. 387-421 2007 17 J. Funct. Program. 3 http://dx.doi.org/10.1017/S0956796807006223 db/journals/jfp/jfp17.html#Maranget07