module Rebase.GHC.TypeNats
  ( module GHC.TypeNats,
  )
where

import GHC.TypeNats