Proposal for GHC documentation