Static Contract Checking for Haskell

Static Contract Checking for Haskell propose a contract checking method. This prove my long stand suspection that why not people do formal verification of functional language.

But according to curry howard corresponding, this is acutally not an insteresting topic, because those people who interest in formal verification all goto matrin lof .