notes on ghc-5.02.2