@@ -160,7 +160,7 @@ instance Description ExhaustivenessName IsoXmlDescEnum where
160160 exhaustivenessName =:= (IsoXmlDescEnum genType descEnumCons) =
161161 isoXmlGenerateEnum genType exhaustivenessName (reverse descEnumCons)
162162
163−instance IsString (TH.TypeQ -> IsoXmlDescPreField) where
163+instance (m ~ Q) => IsString (m TH.Type -> IsoXmlDescPreField) where
164164 fromString = IsoXmlDescPreField
165165
166166instance IsString IsoXmlDescPreField where
@@ -168,10 +168,10 @@ instance IsString IsoXmlDescPreField where
168168 where
169169 ty = (TH.conT . TH.mkName) ("Xml" ++ over _head C.toUpper (xmlLocalName name))
170170
171−instance IsString (TH.TypeQ -> IsoXmlDescPreAttribute) where
171+instance (m ~ Q) => IsString (m TH.Type -> IsoXmlDescPreAttribute) where
172172 fromString = IsoXmlDescPreAttribute
173173
174−instance IsString (TH.TypeQ -> IsoXmlDescPreContent) where
174+instance (m ~ Q) => IsString (m Type -> IsoXmlDescPreContent) where
175175 fromString = IsoXmlDescPreContent
176176
177177instance IsString IsoXmlDescPreAttribute where