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

{- |

Description : The principal modules of /heterogeneous-comparison/
Copyright   : (c) L. S. Leary, 2025

The principal modules of /heterogeneous-comparison/.

-}

-- }}}

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

module Data.Hetero (

  module Data.Hetero.Role,
  module Data.Hetero.Evidence,
  module Data.Hetero.Eq,
  module Data.Hetero.Ord,

) where

-- heterogeneous-comparison
import Data.Hetero.Role
import Data.Hetero.Evidence
import Data.Hetero.Eq
import Data.Hetero.Ord

-- }}}