cache converted GHC names