type Id = String newtype Module = Module String data HsName = Qual Module Id | UnQual Id data HsIdent = HsVar HsName | HsCon HsName