Re: Greencard, GHC and FFI.