Confusion about GHC and GMP