building Green Card using ghc-5