----------------------------------------------------------------------------- -- -- Module : Data.DualCategory -- Copyright : -- License : AllRightsReserved -- -- Maintainer : -- Stability : -- Portability : -- -- | -- ----------------------------------------------------------------------------- module Data.DualCategory ( DualCategory(DualCategory) ) where import Data.DualCategory.DualCategory (DualCategory(DualCategory)) import Data.DualCategory.Instances.Categories ()