[Haskell-beginners] about model checking of haskell program

Dear, Is there any work about "model checking haskell program"? in my opinion, think the haskell as a specification language, then we can check it or transform it to other specification language (such as, promela), so can be analyzed. cheers, Liu Jian ---- email to: gjk.liu@gmail.com