-- --< 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 -- }}}