-----------------------------------------------------------------------------
--
-- Module      :  Data.DualCategory.DualCategory
-- Copyright   :
-- License     :  BSD3
--
-- Maintainer  :
-- Stability   :
-- Portability :
--
-- |
--
-----------------------------------------------------------------------------

module Data.DualCategory.DualCategory (
  DualCategory(DualCategory)
) where

data DualCategory c1 c2 a b = DualCategory { leftC :: c1 a b, rightC :: c2 b a }