-- | Since 1.0.0.0
module Data.Type.Natural.Builtin
  {-# DEPRECATED "Use Data.Type.Natural instead" #-}
  (module Data.Type.Natural)
where

import Data.Type.Natural