ooh thNameToGhcName is nice!