[Haskell] Call for Proposals: FM’08: The 15th International Symposium on Formal Method s