Re[2]: SerTH for Data.Map [solved]