RE: Hugs extension in GHC ?