Re: SerTH for Data.Map