---------------------
hsTyVarName :: HsTyVarBndr name -> name
hsTyVarName (UserTyVar n)           = n
hsTyVarName :: HsTyVarBndr name -> name
hsTyVarName (UserTyVar n)           = n
hsTyVarName (UserTyVar n)           = n