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