-- --< Header >-- {{{

{- |

Description : Evidence carriers
Copyright   : (c) L. S. Leary, 2025

-}

-- }}}

-- --< Exports & Imports >-- {{{

module Data.Hetero.Evidence (

  module Data.Hetero.Evidence.Exactly,
  module Data.Hetero.Evidence.AtLeast,

) where

-- heterogeneous-comparison
import Data.Hetero.Evidence.Exactly
import Data.Hetero.Evidence.AtLeast

-- }}}