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

import GHC.TypeNats