Doubts in GHC