Fix Modifiers type family TH gen code