module Proarrow.Category
  ( CAT
  , CategoryOf (..)
  , dimapDefault
  )
where

import Proarrow.Core