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

import Rebase.GHC.TypeNats