Re: GHC label conventions