module TcTypeNats where

import TyCon (TyCon)

typeNatTyCons :: [TyCon]