TcTypeNats
typeNatTyCons
typeNatCoAxiomRules
data
BuiltInSynFamily