-- | Re-exports arithmetic and order structure for peano arithmetic.
module Data.Type.Natural.Class ( module Data.Type.Natural.Class.Arithmetic
                               , module Data.Type.Natural.Class.Order
                               ) where
import Data.Type.Natural.Class.Arithmetic
import Data.Type.Natural.Class.Order