есть мнение, что Data.Generics.mkM , Data.Data.gmapQ и один newtype Id = Id Int deriving (Data,Typeable) позволят всё написать один раз (и достаточно компактно) и забыть. И по крайней мере для меня это было бы проще, чем разбираться с тараканами в чужих библиотеках.