module TcTypeNats where import TyCon (TyCon) typeNatTyCons :: [TyCon]