-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | compare types of any kinds in haskell
--   
--   Compare types of any kinds in Haskell.
--   
--   More information can be found in the <a>hackage's haddock</a> or the
--   <a>updated haddock</a>.
@package compare-type
@version 0.1

module Type.Compare

-- | Compare two types.

-- | The largest type (and kind) on <a>Compare</a>.
data LargestK
Largest :: LargestK

-- | The smallest type (and kind) on <a>Compare</a>.
data SmallestK
Smallest :: SmallestK

-- | Compare two types. Users can add instances.