module Data.Type.Ordinal.Builtin
  {-# DEPRECATED "Use Data.Type.Ordinal instead" #-}
  ( module Data.Type.Ordinal,
  )
where

import Data.Type.Ordinal