[Fedora-haskell-list] [Bug 680473] Review Request: ghc-ForSyDe - Formal System Design methodology