TcTypeNats

typeNatTyCons

typeNatCoAxiomRules

data BuiltInSynFamily