add witness tags in Data.List