--- /dev/null
+module Network.DNS.Named.Sanity
+ ( SaneAnswerType
+ , SaneAnswerClass
+ )
+ where
+
+import Network.DNS.Message
+
+
+class SaneAnswerType q ans
+instance (RecordType q dt) => SaneAnswerType q q
+instance (RecordType q dt) => SaneAnswerType q CNAME
+instance (RecordType ans dt) => SaneAnswerType ANY ans
+instance (RecordType ans dt) => SaneAnswerType AXFR ans
+instance SaneAnswerType MAILB MR
+instance SaneAnswerType MAILB MB
+instance SaneAnswerType MAILB MG
+instance SaneAnswerType MAILB MINFO
+
+
+class SaneAnswerClass q ans
+instance RecordClass q => SaneAnswerClass q q
+instance RecordClass ans => SaneAnswerClass ANY ans