ghc-8.2.1: typecheck/TcTypeNats.hs-boot

module TcTypeNats where

import TyCon (TyCon)

typeNatTyCons :: [TyCon]